Back to Results
First PageMeta Content
Automated theorem proving / Mathematics / Theoretical computer science / Search algorithms / Heuristics / Rippling / Logic / IsaPlanner / Formal languages / Logic in computer science / A* search algorithm / Mathematical proof


Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics
Add to Reading List

Document Date: 2006-07-10 06:07:20


Open Document

File Size: 212,51 KB

Share Result on Facebook