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

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

, , , , ,
4.0 / 5.0
0 comments
This book constitutes the refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. The 20 revised full papers presented together with three invited contributions were carefully reviewed and selected from 35 papers submitted. All current aspects of higher order theorem proving, formal verification, and specification are discussed. Among the theorem provers evaluated are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath.
Request Code : ZLIBIO1134059
Categories:
Year:
1999
Edition:
1
Publisher:
Springer-Verlag Berlin Heidelberg
Language:
English
Pages:
364
ISBN:
978-3-540-66463-5,978-3-540-48256-7
Series:
Lecture Notes in Computer Science 1690
This book is not available due to the complaint of the copyright holder.

Comments of this book

There are no comments yet.