Theorem proving in higher order logics
Subtitle: 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
By: J. von Wright, J. Grundy, J. Harrison, eds.
Contributors: Wright, J. von 1955-; Grundy, J. 1968-; Harrison, J. 1966-
Series: Lecture notes in computer science,; 1125
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 446
Subjects: Automatic theorem proving -- Congresses.
Notes: Includes bibliographical references and index.