Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 19, Book 1275, (Paperback)
Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 19, Book 1275, (Paperback)
Hero image 0 of Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 19, Book 1275, (Paperback), 0 of 1
Elsa L Gunter

Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 19, Book 1275, (Paperback)

(No ratings yet)

Key item features

  • Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 19, Book 1275, (Paperback)
  • Author: Springer
  • ISBN: 9783540633792
  • Format: Paperback
  • Publication Date: 1997-08-06
  • Page Count: 346
Current price is $54.99
Price when purchased online
  • Free shipping
  • Free 90-day returns

How do you want your item?

Try 30 days for just $1! Choose a plan at checkout.
How do you want your item?
Ships to
Arrives by Thu, May 28
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
Other sellers
$64.94
+Free shipping
Shipping, arrives by Wed, May 27 to Columbus, 43215
Sold and shipped by thebookpros
Free 30-day returns
walmart plus

Try 30 days of Walmart+ for just $1!

T&C apply.

About this item

Product details

Specifications

Warranty

Customer ratings & reviews

0 ratings|0 reviews
This item does not have any reviews yet