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 A. Muñoz, Sofiène Tahar, eds.
Contributors: Carreño, Victor A., 1956-; Muñoz, César A., 1968-; Tahar, Sofiène, 1966-
Series: Lecture notes in computer science -- 2410. -- Lecture notes in artifical intelligence; Lecture notes in computer science -- 2410.; Lecture notes in computer science
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 347
Subjects: Automatic theorem proving -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.

Also available via the World Wide Web.