Back to Results
First PageMeta Content
Statements / Non-associative algebra / Formal methods / Group theory / Quasigroup / Conjecture / Mathematical proof / Theorem / Automated theorem proving / Prime number / Theory / Concept learning


Applications of a Global Workspace Framework to Mathematical Discovery John Charnley and Simon Colton Combined Reasoning Group, Department of Computing Imperial College, United Kingdom Abstract
Add to Reading List

Document Date: 2008-08-18 04:53:21


Open Document

File Size: 964,65 KB

Share Result on Facebook