Skip to product information
Theorem Proving in Higher Order Logics
  • Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

$49.49 $54.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science Theoretical Computer Science and General Issues

Theorem Proving in Higher Order Logics

20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Klaus Schneider | Jens Brandt

Computers / Computer Science


Publication Date: 28 August 2007
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783540745907
Format: Paperback / softback
Page Count: 404

You may also like