An edition of Theorem proving in higher order logics (1999)
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)
By Yves Bertot,Gilles Dowek,Andre Hirschowitz
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
September 29, 1999
Publisher
Springer
Language
eng
Pages
359
Book Lists