![Automated theorem proving / Heuristics / Rippling / Economy / Money / E-commerce / IsaPlanner / Reference / Ripple / Mathematical proof / Annotation / Planner Automated theorem proving / Heuristics / Rippling / Economy / Money / E-commerce / IsaPlanner / Reference / Ripple / Mathematical proof / Annotation / Planner](https://www.pdfsearch.io/img/50c796205a7c5d66fbe84a2d6f808449.jpg) Date: 2005-01-25 09:28:59Automated 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.ukAdd to Reading ListSource URL: homepages.inf.ed.ac.ukDownload Document from Source Website File Size: 162,05 KBShare Document on Facebook
|