Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Proceedings

by David Basin

This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy. TPHOLs covers all aspects... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540406646
• ISBN13: 9783540406648
• Release Date: August 2003
• Publisher: Springer
• Length: 366 Pages
• Weight: 1.18 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"