Towards a Strategy Language for Describing Proofs Alan Bundy University of Edinburgh AI4FM Kick-off Meeting - Nqthm - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards a Strategy Language for Describing Proofs Alan Bundy University of Edinburgh AI4FM Kick-off Meeting Add to Reading List Document Date: 2013-10-30 13:20:29 Open Document File Size: 616,50 KB Share 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 Logic IsaPlanner Mathematical proof Proof theory Nqthm Automated theorem proving Mathematics Rippling

Towards a Strategy Language for Describing Proofs Alan Bundy University of Edinburgh AI4FM Kick-off MeetingAdd to Reading List