Springer
Automated Deduction - Cade-19 (English, Franz Baader)
₹5,636
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: - 4 contributions by invited speakers: one full paper and three short abstracts; - 29 accepted technical papers; - 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated the…
ISBN: 9783540405597
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540405597 |
| ISBN-10 | 3540405593 |
| Author | Franz Baader |
