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 .
<br/><br/>Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience. 
<br/><br/> The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license. 
<br/><br/><label>ISBN: </label>9783319630465 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-63046-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Machine theory.<br/>Computer science.<br/>Software engineering.<br/>Algorithms.<br/>Artificial Intelligence.<br/>Formal Languages and Automata Theory.<br/>Computer Science Logic and Foundations of Programming.<br/>Software Engineering.<br/>Algorithms.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3