Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Specification and Integration of Theorem Provers and Computer Algebra Systems
Fundamenta Informaticae
Decision Making Modeled as a Theorem Proving Process
International Journal of Decision Support System Technology
Hi-index | 0.00 |