Laddar...
Information and knowledge: a constructive type-theoretical approach
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Printed Book |
| Språk: | English |
| Publicerad: |
Netherlands
Springer
2008
|
| Ämnen: |
UL
| Signum: |
165 PRI |
|---|---|
| Exemplar | Status otillgänglig |