Related Books
Language: en
Pages: 484
Pages: 484
Type: BOOK - Published: 2014-01-15 - Publisher:
Language: en
Pages: 469
Pages: 469
Type: BOOK - Published: 2006-04-11 - Publisher: Springer
This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensla
Language: en
Pages: 479
Pages: 479
Type: BOOK - Published: 2013-06-04 - Publisher: Springer
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 r
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 1999-06-23 - Publisher: Springer Science & Business Media
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: 790
Pages: 790
Type: BOOK - Published: 1996-07 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick,
