Towards Proof Planning for M ω Carsten Sch¨ urmann Yale University - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards Proof Planning for M+ ω Carsten Sch¨ urmann Yale University Add to Reading List Document Date: 2002-08-05 12:06:59 Open Document File Size: 98,46 KB Share Result on Facebook IndustryTerm proof search guidance / / Organization Yale University / / Person Serge Autexier German / Carsten Sch / / Position Harper / / Technology artificial intelligence / / SocialTag Deduction Logic Natural deduction Logic in computer science Lambda calculus Combinatory logic Mathematical logic Theoretical computer science Proof theory

Towards Proof Planning for M+ ω Carsten Sch¨ urmann Yale UniversityAdd to Reading List