TY  - BOOK
AU  - Melham,Thomas F.
AU  - Camilleri,Juanito
TI  - Higher order logic theorem proving and its applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings 
SN  - 3540584501
AV  - QA76.9 A96 H54 1994
PY  - 1994///
CY  - Berlin
PB  - Springer-Verlag
KW  - Automatic theorem proving
KW  - Congresses
ER  -