Automated Deduction - CADE 27  27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings /  [electronic resource] : 
edited by Pascal Fontaine. 
 - 1st ed. 2019. 
 - XXIII, 582 p. 110 illus., 56 illus. in color.  online resource. 
 - Lecture Notes in Artificial Intelligence,  11716  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  11716 .
<br/><br/>Automated Reasoning for Security Protocols -- Computer Deduction and (Formal) Proofs in Mathematics -- From Counter-Model-based Quantifier Instantiation to Quantifier Elimination in SMT -- The CADE-27 ATP System Competition - CASC-27 -- Unification modulo Lists with Reverse - Relation with Certain Word Equations -- On the Width of Regular Classes of Finite Structures -- Extending SMT solvers to Higher-Order Logic -- Superposition with Lambdas -- Restricted Combinatory Unification -- dLi: Definite Descriptions in Differential Dynamic Logic -- SPASS-SATT 
<br/><br/> This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. . 
<br/><br/><label>ISBN: </label>9783030294366 
<br/><br/><label>Standard No.: </label>10.1007/978-3-030-29436-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Software engineering.<br/>Electronic digital computers--Evaluation.<br/>Machine theory.<br/>Computer science.<br/>Artificial Intelligence.<br/>Software Engineering.<br/>System Performance and Evaluation.<br/>Formal Languages and Automata Theory.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3