Handbook of automated reasoning
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Path-focused duplication: a search procedure for general matings
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A structured set of higher-order problems
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Reasoning in extensional type theory with equality
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
| Hi-index | 0.00 |