Skip to content

Theorem Proving in Higher Order Logics: 18th International Conference, Tphols
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
Back to Top

More Copies for Sale

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 25.87
SGD 8.21 shipping to USA

Show Details

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.
Item Price
SGD 25.87
SGD 8.21 shipping to USA
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK,...
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
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
SGD 45.44
FREE shipping to USA

Show Details

Description:
Springer, 2005-08-08. 2005. paperback. Used: Good.
Item Price
SGD 45.44
FREE shipping to USA
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK,...

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 85.16
SGD 13.90 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
SGD 85.16
SGD 13.90 shipping to USA
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 104.17
SGD 17.31 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
SGD 104.17
SGD 17.31 shipping to USA