Research Proposal: Automating Coherent Logic Marc Bezem∗ Thierry Coquand† - Thierry - Document - PDFSEARCH.IO

First Page	Meta Content
	Research Proposal: Automating Coherent Logic Marc Bezem∗ Thierry Coquand† Add to Reading List Document Date: 2007-04-18 05:02:41 Open Document File Size: 130,80 KB Share Result on Facebook

UPDATE

Research Proposal: Automating Coherent Logic Marc Bezem∗ Thierry Coquand†Add to Reading List