Implementing systemic classification by unification
Computational Linguistics
Soft Typing for Ordered Resolution
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Integration of Automated and Interactive Theorem Proving in ILP
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Translating Mizar for First Order Theorem Provers
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Handling Polymorphism in Automated Deduction
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
XML-izing mizar: making semantic processing and presentation of MML easy
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
A polymorphic intermediate verification language: design and logical encoding
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |