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

Auteur secondaire : Laudet, Michel, 1900-2003, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in mathematics, 125Langue : anglais ; français.Éditeur : Berlin : Springer, 1970ISBN: 9783540049142.ISSN: 0075-8434.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer scienceEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.