Wird geladen...
Information and knowledge: a constructive type-theoretical approach
1. Verfasser: | |
---|---|
Format: | Printed Book |
Sprache: | English |
Veröffentlicht: |
Netherlands
Springer
2008
|
Schlagworte: |
UL
Signatur: |
165 PRI |
---|---|
Exemplar | Live-Status nicht verfügbar |