DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
If youth is a fault, it is one which is soon corrected.
Schubert E. Thomas Editor; Windley Phillip J. Editor; Alves Foss James Editor;
author size: 16
USD
47.65
price size: 16
GuthrieBooks /Biblio
dealer size: 16
Springer, Date: 2009-02-22. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments. 2009. Springer ISBN 3540602755 9783540602750 [US]
ISBN10: 3540602755, ISBN13: 9783540602750, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems. [Einbeck, Germany] [Publication Year: 1995]
ISBN10: 3540602755, ISBN13: 9783540602750, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems. [Einbeck, Germany] [Publication Year: 1995]
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. ISBN 3540602755 9783540602750 [GB]
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. ISBN 3540602755 9783540602750 [GB]
ISBN10: 3540602755, ISBN13: 9783540602750, [publisher: Springer] Softcover Like New [Redhill, SURRE, United Kingdom] [Publication Year: 1995]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.