Theorem Proving in Higher Order Logics

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

  • Electronic book text

List price: US$63.99

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details

  • Electronic book text
  • Springer
  • United States
  • 3540451307
  • 9783540451303