Theorem proving in higher order logics
Subtitle: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
By: Victor A. Carreño, César Muñoz, Sofiène Tahar (eds.).
Contributors: Carreño, Victor A., 1956-; Muñoz, César, 1968-; Tahar, Sofiène, 1966-
Series: Lecture notes in computer science -- 2410.
Publisher: Springer
Published: 2002
Place of publication: New York
Language: eng
Number of pages: 347
Subjects: Automatic theorem proving -- Congresses.
Genres: Congresses.
Other titles: TPHOLs 2002.
Notes: Includes bibliographical references and index.