Theorem Proving In Higher Order Logics

by Berghofer, Stefan

Show all copies

Available Copies

No image available

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

by Stefan Berghofer

Condition
New
Binding
Paperback / softback
ISBN
9783642033582
Quantity Available
1
Seller
The Saint Bookstore
Southport, Merseyside, GBR
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$126.66

Show Details

Description:
Paperback / softback. New.
Item Price
NZ$126.66
No image available

Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674

by Berghofer, Stefan (Editor)/ Nipkow, Tobias (Editor)/ Urban, Christian (Editor)

Condition
New
Published
2009
Binding
Paperback
ISBN
9783642033582
Quantity Available
1
Seller
Revaluation Books
Exeter, Devon, GBR
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
NZ$129.65

Show Details

Description:
Springer-Verlag New York Inc, 2009. Paperback. New. 1st edition. 517 pages. 9.13x6.06x1.18 inches.
Item Price
NZ$129.65