Vol-1650⫷ Vol-1651 ⫸Vol-1652
urn:nbn:de:0074-1651-0


Vol-1651/12340018⫷Vol-1651/12340026⫸Vol-1651/12340041
Selmer BringsjordNaveen Sundar G.

Crowdsourcing Theorem Proving via Natural Games