Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 / Thomas F. Melham, Juanito Camilleri

Auteur principal collectivité : international workshop on higher order logic theorem proving and its applications, 7, 1994, AuteurAuteur secondaire : Melham, Thomas F., 1960-, Editeur scientifique • Camilleri, Juanito, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 859Langue : anglais.Éditeur : Berlin : Springer, 1994ISBN: 3540584501.ISSN: 0302-9743.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer scienceEn-ligne : Springerlink Item type: Livre numérique
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.