Symposium on automatic demonstration : held at Versailles, December 1968 / M. Laudet, ... [et al.]
Type 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, Computer science, Proceedings, conferences, collections, etc.En-ligne : SpringerlinkNo physical items for this record
There are no comments for this item.