Some ideas on a proof technique language Gudmund Grov (Edinburgh) - Project Reason - Document - PDFSEARCH.IO

First Page	Meta Content
	Some ideas on a proof technique language Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google 1 Add to Reading List Document Date: 2013-10-30 13:20:44 Open Document File Size: 583,65 KB Share Result on Facebook City Edinburgh / / Company Google / / Person Lucas Dixon / Gudmund Grov / / SocialTag IsaPlanner Combinatory logic Reason Logic Mind Cognition Automated theorem proving Reasoning Lambda calculus

Some ideas on a proof technique language Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google 1Add to Reading List