Preface: Special Issue of Selected Extended Papers of CADE-23
- 101 Downloads
KeywordsAutomate Reasoning Sequent Calculus Satisfiability Modulo Theory Automate Deduction Dependency Pair
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
© Springer Science+Business Media Dordrecht 2013