Back to Results
First PageMeta Content
Automated theorem proving / Heuristics / Rippling / Mathematical induction / Cognition


Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1
Add to Reading List

Document Date: 2010-08-26 11:35:12

Open Document

File Size: 65,80 KB

Share Result on Facebook
UPDATE