<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-10-30 13:20:35Automated theorem proving Heuristics Rippling Theorem Lemma Mathematical proof Mathematics Logic Linguistics |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-10-30 13:20:35Automated theorem proving Heuristics Rippling Theorem Lemma Mathematical proof Mathematics Logic Linguistics |
Add to Reading List |
Explicit vs Implicit Search Guidance Alan Bundy University of Edinburgh