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 > General theory of computing > Mathematical theory of computation

Buy Now

Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (Paperback, 1994 ed.) Loot Price: R1,755

Discovery Miles 17 550

Repayment Terms: R164 pm x 12*

Add to cart

Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG '93, Vancouver, B.C., Canada,...

Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (Paperback, 1994 ed.)

Jeffrey J. Joyce, Carl-Johan H Seger

Series: Lecture Notes in Computer Science, 780

(sign in to rate)

Loot Price R1,755 Discovery Miles 17 550 | Repayment Terms: R164 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove."

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 780
Release date:	April 1994
First published:	1994
Editors:	Jeffrey J. Joyce • Carl-Johan H Seger
Dimensions:	235 x 155 x 27mm (L x W x T)
Format:	Paperback
Pages:	526
Edition:	1994 ed.
ISBN-13:	978-3-540-57826-0
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Promotions
LSN:	3-540-57826-9
Barcode:	9783540578260