Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

by Leonardo de Moura (Editor)

Paperback(1st ed. 2017)

$99.99
Choose Expedited Shipping at checkout for guaranteed delivery by Monday, November 26

Product Details

ISBN-13: 9783319630458
Publisher: Springer International Publishing
Publication date: 08/15/2017
Series: Lecture Notes in Computer Science , #10395
Edition description: 1st ed. 2017
Pages: 582
Product dimensions: 6.10(w) x 9.25(h) x (d)

Table of Contents

Automated deduction.- Including foundations.- Applications.-Implementations.- Practical experience.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews