Back to Results
First PageMeta Content
Combinatory logic / Logic in computer science / Function / IsaPlanner / Mathematics / Mathematical logic / Lambda calculus


Representing “why’s” a proof language for IsaPlanner Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google Wednesday, 27 April 2011
Add to Reading List

Document Date: 2013-10-30 13:20:15

Open Document

File Size: 568,50 KB

Share Result on Facebook

City

Edinburgh / /

Company

Google / /

Person

Lucas Dixon / Isabelle IsaPlanner / Gudmund Grov / /

SocialTag