Automated Deduction – CADE 26 More Books Like This

Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2019
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2017
Automated Reasoning with Analytic Tableaux and Related Methods Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
2017
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2020
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2016
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2010
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2018
Theory and Applications of Satisfiability Testing – SAT 2019 Theory and Applications of Satisfiability Testing – SAT 2019
Theory and Applications of Satisfiability Testing – SAT 2019
2019
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2007
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
2016
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2017
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2011
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018