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

by Harald Ganzinger (Editor)

Imported Edition

Delivered in 14-21 working days

Free shipping

Online price: ₹Rs5,037 ₹Rs4,886

You save ₹Rs151

Login/Register to add this product to a wishlist.

You will be asked to pay the full amount when your item is delivered. Only cash is accepted for this type of order. Pay Cash on Delivery

Format: Paperback

Synopsis of Automated Deduction - Cade-16: 16th International Conference on Automated...

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

Product details

  • Pages: 452
  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Published: 23rd June 1999
  • Language: English
  • ISBN: 9783540662228
  • Category: Computers

Reviews of Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings: 16th: Cade-16, International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Read customer reviews on this product. If you have read this book, why not post your own review?

Be the first to review this product

Recently viewed by you

Wishlist (x items)
  • hello
Compare (0 items, 0 selected)
Compare selected Deselect all Remove all

Only items of the same type can be compared.