Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Main Author: Bertot, Yves
Other Authors: Dowek, Gilles, Hirschowitz, André, Paulin, Christine
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 1999
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540482567
978-3-540-66463-5