![Mathematics / Mathematical proof / Knowledge / Automated theorem proving / Heuristics / Rippling Mathematics / Mathematical proof / Knowledge / Automated theorem proving / Heuristics / Rippling](https://www.pdfsearch.io/img/03af64626ef8caf6419e1a09d52cb339.jpg)
| Document Date: 2013-10-30 13:20:35 Open Document File Size: 296,03 KBShare Result on Facebook
Facility Informatics University of Edinburgh www.inf.ed.ac.uk Background / / Organization Alan Bundy& Gudmund Grov School / University of Edinburgh / / Person Alan Bundy / / URL www.inf.ed.ac.uk / /
SocialTag |