Automated Deduction - CADE 26 [electronic resource] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / edited by Leonardo de Moura.
Contributor(s): de Moura, Leonardo [editor.]
| SpringerLink (Online service).
Material type: 
BookSeries: Lecture Notes in Artificial Intelligence: 10395Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017.Description: XI, 582 p. 87 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319630465.Subject(s): 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 | AlgorithmsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 006.3 Online resources: Click here to access online
Contents:
In:
Springer Nature eBookSummary: The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience.
No physical items for this record
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.
There are no comments for this item.