Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective.

Katrine Bjrn Pedersen Thoft, Nina Gierasimczuk

Browse the full CogSci paper archive.