Theorem proving in higher order logics
Subtitle: 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
By: Mark Aagaard, John Harrison (eds.).
Contributors: Aagaard, Mark, 1966-; Harrison, J. 1966-
Series: Lecture notes in computer science -- 1869.
Publisher: Springer
Published: 2000
Place of publication: New York
Language: eng
Number of pages: 533
Subjects: Automatic theorem proving -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.