Higher order logic theorem proving and its applications :  7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings / 
Thomas F. Melham and Juanito Camilleri (eds.) 
 - Berlin :  Springer-Verlag,  1994 
 - 470 p. 
 - Lecture notes in computer science ;  no. 859 .
<br/><br/><label>ISBN: </label>3540584501 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 A96  / H54 1994