A Resolution Calculus for Dynamic Semantics
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Handbook of automated reasoning
Terminating Tableaux for the Basic Fragment of Simple Type Theory
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A structured set of higher-order problems
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Hi-index | 0.00 |