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 / [electronic resource] :
edited by Leonardo de Moura.
- 1st ed. 2017.
- XI, 582 p. 87 illus. online resource.
- Lecture Notes in Artificial Intelligence, 10395 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 10395 .
Automated deduction -- Including foundations -- Applications.-Implementations -- 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.
9783319630465
10.1007/978-3-319-63046-5 doi
Artificial intelligence.
Machine theory.
Computer science.
Software engineering.
Algorithms.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Algorithms.
Q334-342 TA347.A78
006.3
Automated deduction -- Including foundations -- Applications.-Implementations -- 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.
9783319630465
10.1007/978-3-319-63046-5 doi
Artificial intelligence.
Machine theory.
Computer science.
Software engineering.
Algorithms.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Algorithms.
Q334-342 TA347.A78
006.3