8th international conference on automated deduction : Oxford, England, July 27-August 1, 1986 / Jorg H. Siekmann

Auteur principal collectivité : International conference on automated deduction, 8, 1988, AuteurAuteur secondaire : Siekmann, Jorg H., 1941-, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 230Langue : anglais.Éditeur : Berlin : Springer, 1986ISBN: 3540167803.ISSN: 0302-9743.Sujet MSC : 68V15, Computer science support for mathematical research and practice, Theorem proving
68-06, Proceedings, conferences, collections, etc. pertaining to computer science
En-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.