Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings by Harald GanzingerAutomated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings by Harald Ganzinger

Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy…

EditorHarald Ganzinger

Paperback

Pricing and Purchase Info

$136.79 online 
$154.95 list price save 11%
Earn 684 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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 of FLoC'99. The 21 revised full papers presented were carefully reviewed and selected from a total of 83 submissions. Also included are 15 system descriptions and two invited full papers. The book addresses all current issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation
Title:Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy…Format:PaperbackDimensions:452 pages

The following ISBNs are associated with this title:

ISBN - 10:3540662227

ISBN - 13:9783540662228

Look for similar items by category:

Reviews