Normal view MARC view ISBD view

Symposium on automatic demonstration : held at Versailles, December 1968 / M. Laudet, ... [et al.]

Auteur secondaire : Laudet, Michel, 1900-2003, Editeur scientifiqueType de document : CongrèsCollection : Lecture notes in mathematics, 125Langue : anglais ; français.Pays : Allemagne.Éditeur : Berlin : Springer, 1970Description : 1 vol. (310 p.) ; 26 cmISBN : 9783540049142.ISSN : 0075-8434.Bibliographie : Notes bibliogr..Sujet MSC : 68-06, Computer science, Proceedings, conferences, collections, etc.En-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
68-06 LAU (Browse shelf) Available 02806-01
CMI
Salle R
68-06 LAU (Browse shelf) Available 02806-02

Notes bibliogr.

There are no comments for this item.

Log in to your account to post a comment.