A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur P. BRAFFORT |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Computer programming and formal systems / P. BRAFFORT (1963)
Titre : Computer programming and formal systems Type de document : texte imprimé Auteurs : P. BRAFFORT, Editeur scientifique ; D. HIRSCHBERG, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1963 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VI-161 p. Langues : Anglais Mots-clés : programmation système formel informatique Note de contenu : références Computer programming and formal systems [texte imprimé] / P. BRAFFORT, Editeur scientifique ; D. HIRSCHBERG, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1963 . - VI-161 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : programmation système formel informatique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8611 BRA/68/1977 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 Symposium d'Orsay sur la manipulation des symboles et l'utilisation d'APL. Volume 3 / P. BRAFFORT (1973)
Titre : Symposium d'Orsay sur la manipulation des symboles et l'utilisation d'APL. Volume 3 : recherche sur APL Type de document : texte imprimé Auteurs : P. BRAFFORT, Editeur scientifique ; J. MICHEL, 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 Note de contenu : références Symposium d'Orsay sur la manipulation des symboles et l'utilisation d'APL. Volume 3 : recherche sur APL [texte imprimé] / P. BRAFFORT, Editeur scientifique ; J. MICHEL, 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 Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13692 TAF 36-3 Livre Recherche Salle Disponible Symposium d'Orsay sur la manipulation des symboles et l'utilisation d'APL. Volume deux / P. BRAFFORT ([1973])
Titre : Symposium d'Orsay sur la manipulation des symboles et l'utilisation d'APL. Volume deux : le projet LIMA Type de document : texte imprimé Auteurs : P. BRAFFORT, Editeur scientifique ; P. MERISSERT-COFFINIERES, 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 projet LIMA Symposium d'Orsay sur la manipulation des symboles et l'utilisation d'APL. Volume deux : le projet LIMA [texte imprimé] / P. BRAFFORT, Editeur scientifique ; P. MERISSERT-COFFINIERES, 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 projet LIMA Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13715 TAF 36-2 Livre Recherche Salle Disponible