| Titre : | Automath a language for mathematics |
| Auteurs : | Département de mathématiques, Université de Montréal, Département de mathématiques (Montréal) ; Nicolas G. de Bruijn |
| Type de document : | texte imprimé |
| Editeur : | Montréal : P.U.M, 1973 |
| Collection : | Séminaire de mathématiques supérieures |
| ISBN/ISSN/EAN : | S4/8174 |
| Format : | 62 p / 28 cm |
| Note générale : | 0-84050-223-0 |
| Langues originales: | |
| Index. décimale : | 510 (Mathématique) |
| Mots-clés: | Mathématiques- Langage(automate) |
Exemplaires (1)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S4/8174 | كتاب | Bibliothèque centrale | Disponible |
Accueil
