Skip to product information
Theorem Proving in Higher Order Logics
  • Theorem Proving in Higher Order Logics
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

$49.49 $54.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Yves Bertot | Gilles Dowek | Andre Hirschowitz | Christine Paulin | Laurent Thery

Mathematics / Applied


Publication Date: 01 September 1999
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783540664635
Format: Paperback softback
Page Count: 364

You may also like