Description:
Springer, 2009-02-22. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Stock Photo: Cover May Be Different
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings Paperback - 1995 - 1995th Edition
by E. Thomas Schubert (Editor); Phillip J. Windley (Editor); James Alves-Foss (Editor)
Details
- Title Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings
- Author E. Thomas Schubert (Editor); Phillip J. Windley (Editor); James Alves-Foss (Editor)
- Binding Paperback
- Edition number 1995th
- Edition 1995
- Pages 408
- Volumes 1
- Language ENG
- Publisher Springer, Berlin, Germany
- Date 1995-08-23
- Features Maps
- ISBN 9783540602750 / 3540602755
- Weight 1.28 lbs (0.58 kg)
- Dimensions 9.21 x 6.14 x 0.85 in (23.39 x 15.60 x 2.16 cm)
- Library of Congress Catalog Number 95024951
- Dewey Decimal Code 004.015
More Copies for Sale
Stock Photo: Cover May Be Different
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science)
by Schubert, E. Thomas [Editor]; Windley, Phillip J. [Editor]; Alves-Foss, James [Editor];
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540602750 / 3540602755
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
$47.65$5.99 shipping to USA
Show Details
Item Price
$47.65
$5.99
shipping to USA
Stock Photo: Cover May Be Different
Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
by E. Thomas Schubert
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540602750 / 3540602755
- Quantity Available
- 758
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$68.48$10.30 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings.
Item Price
$68.48
$10.30
shipping to USA
Stock Photo: Cover May Be Different
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
by E.Thomas Schubert
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540602750 / 3540602755
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$77.20$12.83 shipping to USA
Show Details
Description:
Paperback / softback. New. This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference.
Item Price
$77.20
$12.83
shipping to USA