![Logic / IsaPlanner / Mathematical proof / Proof theory / Nqthm / Automated theorem proving / Mathematics / Rippling Logic / IsaPlanner / Mathematical proof / Proof theory / Nqthm / Automated theorem proving / Mathematics / Rippling](/pdf-icon.png)
| Document Date: 2013-10-30 13:20:29 Open Document File Size: 616,50 KBShare Result on Facebook
Country Ireland / / Facility Describing Proofs Alan Bundy University of Edinburgh AI4FM Kick-off Meeting / / IndustryTerm search spaces / / Organization Describing Proofs Alan Bundy University of Edinburgh AI4FM Kick-off / / URL http /
SocialTag |