![Rippling / IsaPlanner / Theorem / Unification / Mathematical proof / Automated theorem proving / Logic / Mathematics Rippling / IsaPlanner / Theorem / Unification / Mathematical proof / Automated theorem proving / Logic / Mathematics](https://www.pdfsearch.io/img/bda4a172f30118cb5ded86b07aa59b76.jpg)
| Document Date: 2013-10-30 13:19:50 Open Document File Size: 101,56 KBShare Result on Facebook
Company Andrew Ireland / Cambridge University Press / / Country United Kingdom / Ireland / / Facility Newcastle University / University of Edinburgh / / IndustryTerm final product / / Organization Cambridge University / School of Computing Science / Gudmund Grov School of Informatics / Newcastle University / University of Edinburgh / / Person Omar Montano Rivas / Alan Bundy / / / Position Isabelle translator / Butler / critic / guard / / Technology dom / following algorithm / / URL http /
SocialTag |