Limit search to available items
Book Cover
Author International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)

Title Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / Leonardo de Moura (ed.)
Published Cham, Switzerland : Springer, 2017
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xi, 582 pages) : illustrations
Series LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in artificial intelligence, 0302-9743 ; 10395
LNCS sublibrary. SL 7, Artificial intelligence.
Lecture notes in computer science. Lecture notes in artificial intelligence ; 10395
Contents Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience
Summary The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license
Notes Includes author index
International conference proceedings
Online resource; title from PDF title page (SpringerLink, viewed July 21, 2017)
Subject Automatic theorem proving -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Moura, Leonardo de, editor
ISBN 3319630466 (electronic bk.)
9783319630465 (electronic bk.)