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 > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

9th International Conference on Automated Deduction - Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Paperback, 1988 ed.) Loot Price: R3,423

Discovery Miles 34 230

Repayment Terms: R321 pm x 12*

Add to cart

9th International Conference on Automated Deduction - Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Paperback, 1988...

9th International Conference on Automated Deduction - Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Paperback, 1988 ed.)

Ewing Lusk, Ross Overbeek

Series: Lecture Notes in Computer Science, 310

(sign in to rate)

Loot Price R3,423 Discovery Miles 34 230 | Repayment Terms: R321 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 310
Release date:	May 1988
First published:	1988
Editors:	Ewing Lusk • Ross Overbeek
Dimensions:	235 x 155 x 39mm (L x W x T)
Format:	Paperback
Pages:	776
Edition:	1988 ed.
ISBN-13:	978-3-540-19343-2
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > General Promotions
LSN:	3-540-19343-X
Barcode:	9783540193432