Automated Discovery of Inductive Theorems (2007)
Attributed to:
The Integration and Interaction of Multiple Mathematical Reasoning Processes.
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://logika.uwb.edu.pl/studies/vol23.html
Type: Journal Article/Review
Volume: 10
Parent Publication: Studies in Logic, Grammar and Rhetoric