Theorem proving in higher order logics
Subtitle: 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
By: Elsa L. Gunter, Amy Felty, eds.
Contributors: Gunter, Elsa L.; Felty, Amy.
Series: Lecture notes in computer science,; 1275
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 337
Subjects: Automatic theorem proving -- Congresses
Notes: Includes bibliographical references and index.