Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Main Author: Grundy, Jim
Other Authors: Newey, Malcolm
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1998
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:9783540649878
978-3-540-64987-8