Crowdsourcing Theorem Proving via Natural GamesDownload PDF

Naveen Sundar Govindarajulu, Selmer Bringsjord

2016 (modified: 16 Jul 2019)Bridging@IJCAI 2016Readers: Everyone
0 Replies