A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'AUTOMATH' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Automath. A language for mathematics / Nicolaas Govert de BRUIJN (DL 1973)
Titre : Automath. A language for mathematics Type de document : texte imprimé Auteurs : Nicolaas Govert de BRUIJN, Auteur Editeur : Montréal [Canada] : Les Presses de l'Université de Montréal Année de publication : DL 1973 Collection : Séminaire de mathématiques supérieures, ISSN 0544-9758 num. 52 Importance : 62 p. ISBN/ISSN/EAN : 978-0-8405-0223-0 Langues : Anglais Mots-clés : AUTOMATH langage formel Note de contenu : bibliogr. Automath. A language for mathematics [texte imprimé] / Nicolaas Govert de BRUIJN, Auteur . - Montréal (3744, rue Jean-Brillant, local 6310, H3T 1P1, Canada) : Les Presses de l'Université de Montréal, DL 1973 . - 62 p.. - (Séminaire de mathématiques supérieures, ISSN 0544-9758; 52) .
ISBN : 978-0-8405-0223-0
Langues : Anglais
Mots-clés : AUTOMATH langage formel Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10481 SMS 52 Livre Recherche Salle Disponible Symposium d'Orsay sur la manipulation des symboles et l'utilisation d'APL. Volume 1 / P. BRAFFORT ([1973])
Titre : Symposium d'Orsay sur la manipulation des symboles et l'utilisation d'APL. Volume 1 : le projet AUTOMATH Type de document : texte imprimé Auteurs : P. BRAFFORT, Editeur scientifique ; G. KIREMITDJIAN, Editeur scientifique Editeur : Orsay : Université Paris XI. U.E.R. Mathématique Année de publication : [1973] Langues : Français Anglais Mots-clés : manipulation des symboles système APL AUTOMATH Symposium d'Orsay sur la manipulation des symboles et l'utilisation d'APL. Volume 1 : le projet AUTOMATH [texte imprimé] / P. BRAFFORT, Editeur scientifique ; G. KIREMITDJIAN, Editeur scientifique . - Orsay : Université Paris XI. U.E.R. Mathématique, [1973].
Langues : Français Anglais
Mots-clés : manipulation des symboles système APL AUTOMATH Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13716 TAF 36-1 Livre Recherche Salle Disponible