Employing Theory Formation to Guide Proof Planning
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Classifying Isomorphic Residue Classes
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Adaptable Mixed-Initiative Proof Planning for Educational Interaction
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |