|
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
|
|
|
Automated Deduction - Cade-13 - 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Paperback, 1996 ed.)
Series: Lecture Notes in Computer Science, 1104
Expected to ship within 10 - 15 working days
|
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
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
