Automath: a language for mathematics
Montréal: Pr. de Univ, 1973
Monographie, Gedruckte Ressource
- 58 Bl.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Automath: a language for mathematics
|
---|---|
Autor/in / Beteiligte Person: | Bruijn, Nicolaas Govert de |
Verwandtes Werk: | |
Veröffentlichung: | Montréal: Pr. de Univ, 1973 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 58 Bl. |
ISBN: | 0840502230 |
Schlagwort: |
|
Sonstiges: |
|