Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Main Author: Gunter, Elsa L
Other Authors: Felty, Amy
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1997
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:9783540633792
978-3-540-63379-2