Proof Development with Omega-MEGA: sqrt(2) Is Irrational
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Computational Semantics in Discourse: Underspecification, Resolution, and Inference
Journal of Logic, Language and Information
Constraint Solving for Proof Planning
Journal of Automated Reasoning
A Rational Reconstruction of a System for Experimental Mathematics
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
The mathserve system for semantic web reasoning services
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
The service architecture in the ACTIVEMATH learning environment
KLGW'05 Proceedings of the 1st international Kaleidoscope Learning Grid Special Interest Group conference on Distributed e-Learning Environments
Hi-index | 0.00 |