Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings: 2758 (Lecture Notes in Computer Science)

by David Basin (Author), Burkhart Wolff (Author)

New
Paperback
2008
$60.76

$60.76

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 380
Edition: 2003
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540406646
ISBN 13: 9783540406648

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings: 2758 (Lecture Notes in Computer Science)

New

$60.76

$60.76

More Information