Description:
Springer, 2005-09-19. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Stock Photo: Cover May Be Different
Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proceedings Paperback - 2005 - 2005th Edition
by Joe Hurd (Editor); Tom Melham (Editor)
Details
- Title Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proceedings
- Author Joe Hurd (Editor); Tom Melham (Editor)
- Binding Paperback
- Edition number 2005th
- Edition 2005
- Pages 414
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2005-08-08
- ISBN 9783540283720 / 3540283722
- Weight 1.3 lbs (0.59 kg)
- Dimensions 9.21 x 6.14 x 0.86 in (23.39 x 15.60 x 2.18 cm)
- Dewey Decimal Code 004.015
More Copies for Sale
Stock Photo: Cover May Be Different
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science)
by Hurd, Joe [Editor]; Melham, Tom [Editor];
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540283720 / 3540283722
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
NZ$31.15NZ$9.89 shipping to USA
Show Details
Item Price
NZ$31.15
NZ$9.89
shipping to USA
Stock Photo: Cover May Be Different
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3603)
by Hurd, Joe
- Used
- Paperback
- Condition
- Used: Good
- Edition
- 2005
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540283720 / 3540283722
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
NZ$54.72FREE shipping to USA
Show Details
Description:
Springer, 2005-08-08. 2005. paperback. Used: Good.
Item Price
NZ$54.72
FREE shipping to USA
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
by Joe Hurd
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540283720 / 3540283722
- Quantity Available
- 775
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
NZ$102.55NZ$16.74 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings.
Item Price
NZ$102.55
NZ$16.74
shipping to USA
Stock Photo: Cover May Be Different
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
by Joe Hurd
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540283720 / 3540283722
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
NZ$125.45NZ$20.84 shipping to USA
Show Details
Description:
Paperback / softback. New. This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.
Item Price
NZ$125.45
NZ$20.84
shipping to USA