Back to Results
First PageMeta Content
Automated theorem proving / Logic / Cognitive science / Theoretical computer science / Reasoning / Artificial intelligence / Research councils / Automated reasoning / Alan Bundy / Reasoning system / Isabelle / Mathematical proof


The Integration and Interaction of Multiple Mathematical Reasoning Processes: A Platform Grant Proposal. Case for Support Alan Bundy
Add to Reading List

Document Date: 2005-03-23 10:49:26


Open Document

File Size: 125,47 KB

Share Result on Facebook