Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Paperback, 1995 ed.) Loot Price: R1,684

Discovery Miles 16 840

Repayment Terms: R158 pm x 12*

Add to cart

Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14,...

Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Paperback, 1995 ed.)

E.Thomas Schubert, Phillip J. Windley, James Alves-Foss

Series: Lecture Notes in Computer Science, 971

(sign in to rate)

Loot Price R1,684 Discovery Miles 16 840 | Repayment Terms: R158 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 971
Release date:	August 1995
First published:	1995
Editors:	E.Thomas Schubert • Phillip J. Windley • James Alves-Foss
Dimensions:	235 x 155 x 21mm (L x W x T)
Format:	Paperback
Pages:	408
Edition:	1995 ed.
ISBN-13:	978-3-540-60275-0
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Promotions
LSN:	3-540-60275-5
Barcode:	9783540602750