Description: Automated Deduction ? CADE 26 Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6?11, 2017, Proceedings Author(s): Leonardo de Moura Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319630458, 978-3319630458 Synopsis This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed? and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY [url] license. ?
Price: 58.78 GBP
Location: Aldershot
End Time: 2024-12-29T09:13:23.000Z
Shipping Cost: 36.31 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Automated Deduction CADE 26
Number of Pages: 582 Pages
Language: English
Publication Name: Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Publisher: Springer International Publishing A&G
Publication Year: 2017
Subject: Computer Science
Item Height: 235 mm
Item Weight: 8891 g
Type: Textbook
Author: Leonardo De Moura
Series: Lecture Notes in Artificial Intelligence
Item Width: 155 mm
Format: Paperback
