TY  - RPRT
TI  - Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources
AU  - Eric J. Horvitz
AU  - Adrian Klein
PY  - 2013
UR  - https://arxiv.org/abs/1302.4960
ID  - 1302.4960
ER  -