A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur M. LAUDET |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Symposium on automatic demonstration / M. LAUDET (1970)
Titre : Symposium on automatic demonstration Type de document : monographie Auteurs : M. LAUDET, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1970 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 125 Note générale : Références Langues : Anglais Mots-clés : automatique Symposium on automatic demonstration [monographie] / M. LAUDET, Auteur . - Berlin : Springer-Verlag, 1970. - (Lecture Note in Mathematics, ISSN 0075-8434; 125) .
Références
Langues : Anglais
Mots-clés : automatique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4281 LN 125 Livre Recherche Salle Disponible