Automated Deduction – CADE 26 Image close
Automated Deduction – CADE 26
Automated Deduction – CADE 26
Show Hide Adult Content
Automated Deduction – CADE 26 close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science  
Artificial intelligence

Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$222.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $55.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Artificial Intelligence in Music, Sound, Art and Design
$150.99
Artificial Intelligence in Music, Sound, Art and Design
Paperback / softback
Pre-order - out Friday
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$187.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$337.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Advances in Knowledge Discovery and Data Mining
$291.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Machine Learning for Cyber Security
$209.99
Machine Learning for Cyber Security
Paperback / softback
Pre-order - out 30 May 2024
Constructive Side-Channel Analysis and Secure Design by Romain Wacquez
$128.99
Constructive Side-Channel Analysis and Secure Design
by Romain Wacquez ~ Paperback / softback
Pre-order - out Tuesday
Requirements Engineering: Foundation for Software Quality
$151.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out Tuesday
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$291.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Advances in Knowledge Discovery and Data Mining
$242.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Mathematical Foundations of Programming Semantics Save $50
$146.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
7th International Conference on Automated Deduction
$291.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Data Augmentation, Labelling, and Imperfections
$139.99
Data Augmentation, Labelling, and Imperfections
Paperback / softback
Pre-order - out 30 May 2024
Applications of Evolutionary Computing Save $11
$283.99
$295.95
Applications of Evolutionary Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Data Mining Save $29
$139.99
$169.95
Data Mining
Paperback / softback
Available - Usually ships in 3-4 weeks
Gesture-Based Communication in Human-Computer Interaction
$276.99
Gesture-Based Communication in Human-Computer Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
Pictorial Information Systems
$130.99
Pictorial Information Systems
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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 4.0 license.  
Release date Australia
July 11th, 2017
Contributor
  • Edited by Leonardo de Moura
Pages
582
Edition
1st ed. 2017
Audience
  • Professional & Vocational
Illustrations
87 Illustrations, black and white; XI, 582 p. 87 illus.
ISBN-13
9783319630458
Product ID
26862445

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer science >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation