![Combinatory logic / Logic in computer science / Function / IsaPlanner / Mathematics / Mathematical logic / Lambda calculus Combinatory logic / Logic in computer science / Function / IsaPlanner / Mathematics / Mathematical logic / Lambda calculus](https://www.pdfsearch.io/img/258262f29705e6ac21883a6896195f52.jpg) Date: 2013-10-30 13:20:15Combinatory 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 2011Add to Reading ListSource URL: www.ai4fm.orgDownload Document from Source Website File Size: 568,50 KBShare Document on Facebook
|