2-or-more approximation for intuitionistic logic Gabriel Scherer November 25, 2014 1 - Scherer - Document - PDFSEARCH.IO

First Page	Meta Content
	2-or-more approximation for intuitionistic logic Gabriel Scherer November 25, 2014 1 Add to Reading List Document Date: 2014-11-25 09:35:48 Open Document File Size: 374,04 KB Share Result on Facebook Company BT / / Event Person Communication and Meetings / / IndustryTerm atoms arrows products / possible applications / search space / search problem / inference systems / proof search / search algorithms / type systems / / Person Gabriel Scherer / Ai / / ProgrammingLanguage K / C / / Technology search algorithms / / SocialTag Algebra Deduction Differential topology Proof theory Abstract algebra Ring theory Semiring

2-or-more approximation for intuitionistic logic Gabriel Scherer November 25, 2014 1Add to Reading List