Higher order logic theorem proving and its applications
Subtitle: 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
By: Thomas F. Melham, Juanito Camilleri (eds.).
Contributors: Melham, T. F.; Camilleri, Juanito.
Series: Lecture notes in computer science ;; 859
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 470
Subjects: Automatic theorem proving -- Congresses
Notes: Includes bibliographical references.