Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993. Proceedings (International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993 - Proceedings) - Lecture N - Jeffrey J Joyce - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540578260 - April 28, 1994
In case cover and title do not match, the title is correct

Jeffrey J Joyce
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993. Proceedings (International Workshop, Hug '93, Vancouver, B.c., Canada, August 11-13, 1993 - Proceedings) - Lecture N

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Containing the edited proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia, Vancouver, Canada in August 1993, this volume explores higher-order logic theory proving, its usage and applications.

526 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 28, 1994
ISBN13 9783540578260
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 526
Dimensions 156 × 234 × 27 mm   ·   743 g
Language German  
Editor Joyce, Jeffrey J.
Editor Seger, Carl-johan H.

Mere med samme udgiver

See all of Jeffrey J Joyce ( e.g. Paperback Book )