Theorem proving in higher order logics
Subtitle: 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
By: Richard J. Boulton, Paul B. Jackson (eds.).
Contributors: Boulton, Richard J., 1967-; Jackson, Paul B., 1962-
Series: Lecture notes in computer science -- 2152.
Publisher: Springer
Place of publication: Berlin; New York
Number of pages: 393
Subjects: Automatic theorem proving -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.

Also available via the World Wide Web.