Shelfclass_id | 4.B.3 |
Sortkey | TPHOLS |
Authors | Thomas F. Melham, Juanito Camilleri |
Title | TPHOLs 1994: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994: Proceedings |
Publisher | Springer Pub. Co. |
Year | c1994 |
Languages | eng |
Isbn | 3540584501 |
Series | Lecture Notes in Computer Science |
Volume | 859 |
Issn | 0302-9743 |
Description | (acid-free paper) ix, 470 p. ill. 24 cm. |
Record date | 20061025 |
Location | New York |
Keywords | Automatic theorem proving |