Related Books
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
This book constitutes the refereed proceedings of the 16th International Conference on Automated Deduction, CADE-16, held in Trento, Italy in July 1999 as part
Language: en
Pages: 264
Pages: 264
Type: BOOK - Published: 1993 - Publisher:
Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of
Language: en
Pages: 1098
Pages: 1098
Type: BOOK - Published: 2003-05-15 - Publisher: Springer
This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in
Language: en
Pages: 1198
Pages: 1198
Type: BOOK - Published: 2001-06-21 - Publisher: Elsevier
Handbook of Automated Reasoning.
Language: en
Pages: 438
Pages: 438
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
