7th international conference on automated deduction : Napa, California, May 14-16, 1984 / R. E. Shostak

Auteur principal collectivité : International conference on automated deduction, 7, 1984, AuteurAuteur secondaire : Shostak, Robert E., 1931-, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 625Langue : anglais.Éditeur : Berlin : Springer, 1984ISBN: 9780387960227.ISSN: 0302-9743.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.