Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /

Bibliographic Details
Corporate Author:	TPHOLs '99 Nice, France
Other Authors:	Bertot, Yves
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	Lecture notes in computer science. 1690.
Subjects:	Automatic theorem proving > Congresses.

Remote Storage