A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Connections in nonclassical logics
Handbook of automated reasoning
Simplify: a theorem prover for program checking
Journal of the ACM (JACM)
A case study in reasoning about processes
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
Strategies in rigid-variable methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A taxonomy of theorem-proving strategies
Artificial intelligence today
Hi-index | 0.00 |