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
$18.87
$5.99 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
$18.87
$5.99 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 4 of 5 Stars rating from Biblio customers.
Item Price
$33.15
FREE shipping to USA

Show Details

Description:
Springer, 2005-08-08. 2005. paperback. Used: Good.
Item Price
$33.15
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
725
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$68.42
$10.29 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
$68.42
$10.29 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
$77.13
$12.81 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
$77.13
$12.81 shipping to USA