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 > Applications of computing > Artificial intelligence

Buy Now

Automated Deduction - Cade-13 - 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Paperback, 1996 ed.) Loot Price: R3,014

Discovery Miles 30 140

Repayment Terms: R282 pm x 12*

Add to cart

Automated Deduction - Cade-13 - 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August...

Automated Deduction - Cade-13 - 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Paperback, 1996 ed.)

Michael A. McRobbie, J.K. Slaney

Series: Lecture Notes in Computer Science, 1104

(sign in to rate)

Loot Price R3,014 Discovery Miles 30 140 | Repayment Terms: R282 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1104
Release date:	August 1996
First published:	1996
Editors:	Michael A. McRobbie • J.K. Slaney
Dimensions:	235 x 155 x 39mm (L x W x T)
Format:	Paperback
Pages:	772
Edition:	1996 ed.
ISBN-13:	978-3-540-61511-8
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-540-61511-3
Barcode:	9783540615118