| Higher Order Logic Theorem Proving and Its Applications 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings | | | Editor:
| Melham, Thomas F.
Camilleri, Juanito | | Series title: | Lecture Notes in Computer Science | | ISBN: | 978-0-387-58450-8 | | Publication Date: | Oct 1994 | | Publisher: | Springer
| | Book Format: | Hardback | | List Price: | USD $62.00 |
| |