MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A linguistic discovery program that verbalizes its discoveries
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 2
Generating referential descriptions in multimedia environments
ReferringPhenomena '97 Referring Phenomena in a Multimedia Context and their Computational Treatment
Exploiting the addressee's inferential capabilities in presenting mathematical proofs
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Presenting inequations in mathematical proofs
Information Sciences: an International Journal
Hi-index | 0.00 |