Theorem Proving in Higher Order Logics
Publication year: 2007
: 978-3-540-74591-4
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) held September 10–13, 2007 in Kaiserslautern, Germany. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and verification
: Computer Science, D programming language, modeling, programming, programming language, proving, semantics, theorem proving, verification
