The Use of Lemmas in the Model Elimination Procedure
Journal of Automated Reasoning
STMM: A Set Theory for Mechanized Mathematics
Journal of Automated Reasoning
The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Verifying Intuition - ILF Checks DAWN Proofs
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Replacement Rules with Definition Detection
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Mathematical Induction in Otter-Lambda
Journal of Automated Reasoning
Automatic generation of some results in finite algebra
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
Applications of automated reasoning
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Ordered semantic hyper linking
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A tool for managing security policies in organisations
IWSEC'06 Proceedings of the 1st international conference on Security
Hi-index | 0.00 |