Skip to content

Higher Order Logic Theorem Proving and Its Applications: 8th International
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
Back to Top

More Copies for Sale

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$47.65
$5.99 shipping to USA

Show Details

Description:
Springer, 2009-02-22. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
$47.65
$5.99 shipping to USA
Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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