Back to Results
First PageMeta Content
Automated theorem proving / Heuristics / Rippling / Economy / Money / E-commerce / IsaPlanner / Reference / Ripple / Mathematical proof / Annotation / Planner


Higher Order Rippling in IsaPlanner Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK {lucas.dixon, jacques.fleuriot}@ed.ac.uk
Add to Reading List

Document Date: 2005-01-25 09:28:59


Open Document

File Size: 162,05 KB

Share Result on Facebook