Theorem proving in higher order logics
Subtitle: 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings
By: Klaus Schneider, Jens Brandt (eds.).
Contributors: Schneider, Klaus, 1967-; Brandt, Jens, 1978-
Series: Lecture notes in computer science -- 4732.
Publisher: Springer
Published: 2007
Place of publication: Berlin
Language: eng
Number of pages: 399
ISBN-13: 9783540745907
Subjects: Automatic theorem proving -- Congresses.
Genres: Congresses.
Other titles: TPHOLs 2007.
Notes: International conference proceedings.

Includes bibliographical references and index.

Also issued online.