Higher order logic theorem proving and its applications
Subtitle: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
By: Jeffrey J. Joyce, Carl-Johan H. Seger, eds.
Contributors: Joyce, Jeffrey J., 1960-; Seger, Carl-Johan H.; HOL User's Group Workshop (6th : 1993 : Vancouver, B.C.)
Series: Lecture notes in computer science ;; 780
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 517
Subjects: Automatic theorem proving -- Congresses
Notes: Papers presented at the 1993 HOL User's Group Workshop.
Includes index.