Uncomputable games: games for crowdsourcing formal reasoning

Naveen Sundar G.. Uncomputable games: games for crowdsourcing formal reasoning. PhD thesis, Rensselaer Polytechnic Institute, USA, 2013. [doi]

Abstract

Abstract is missing.