First Page | Document Content | |
---|---|---|
Date: 2010-08-26 11:35:12Automated theorem proving Heuristics Rippling Mathematical induction Cognition | Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1Add to Reading ListSource URL: dream.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 65,80 KBShare Document on Facebook |