8BBA5590-D554-48FA-AF0B-CA824C8269A4The Integration and Interaction of Multiple Mathematical Reasoning Processes.Research GrantEP/E005713/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL92215441022E8D-8C45-4C5E-AE1F-9E0E34A7CA1CAutomated Discovery of Inductive TheoremsStudies in Logic, Grammar and Rhetoric0667b2caefb13e182ced73c958955acaAlan Bundy (Author)2007-01-01http://logika.uwb.edu.pl/studies/vol23.html10Journal Article/Reviewm_263457990613967f04