Automated deduction in nonclassical logics
Automated deduction in nonclassical logics
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
TkWinHOL: A Tool for Window Inference in HOL
Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications
Focus Windows: A New Technique for Proof Presentation
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Reconstruction Proofs at the Assertion Level
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Assertion application in theorem proving and proof planning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Mathematical domain reasoning tasks in natural language tutorial dialog on proofs
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
A generic modular data structure for proof attempts alternating on ideas and granularity
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
| Hi-index | 0.00 |