David Basin Theorem Proving All Books sku-538816203
No rating yet(0 reviews)Theorem Proving in Higher Order Logics is a paperback in the Lecture Notes in Computer Science series, listed in All Books under David Basin. Its title identifies the 16th International Conference, Tphols 2003, in Rom, Italy, September 8-12, 2003, and includes “Pr, Book 2758.” The source names Springer as author. ISBN 9783540406648; publication date 2003-08-21; 366 pages. SKU sku-538816203.
Description
Description
Shipping & Returns
Shipping & Returns
Customer ratings and reviews
0 reviews
Share your experience
Checking your account…
No customer reviews yet. Be the first to share your experience.
Customer questions and answers
Ask about this product. Shipping, orders, and account issues belong with customer support.
Sign in or register to ask or answer.
No matching approved questions. Be the first to ask.













