From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components

Authors:
Alessandro Armando;Silvio Ranise
Affiliations:
-;-
Venue:
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Year:
1998

The control layer in open mechanized reasoning systems: annotations and tactics

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Reasoning Theories

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
Specification and Integration of Theorem Provers and Computer Algebra Systems

Fundamenta Informaticae

Hi-index	0.00