AUTOMATH : a language for mathematics / par Nicolaas Govert de Bruijn.
Series Séminaire de mathématiques supérieures ; 52Editor: Montréal : Presses de l'Université de Montréal, 1973Descripción: 62 h. ; 28 cmISBN: 0840502230Tema(s): AUTOMATH (Formal language)Otra clasificación: 68T15Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 68 B892 (Browse shelf) | Available | A-4460 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
Cabecera de portada: Université de Montréal--Département de Mathématiques.
"Notes du cours donné ... à la dixième session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1971."
Bibliografía: h. [56]-58.
MR, 54 #4208
There are no comments on this title.