Konstantine Arkoudas, Selmer Bringsjord. Computers, Justification, and Mathematical Knowledge. Minds and Machines, 17(2):185-202, 2007. [doi]
@article{ArkoudasB07,
title = {Computers, Justification, and Mathematical Knowledge},
author = {Konstantine Arkoudas and Selmer Bringsjord},
year = {2007},
doi = {10.1007/s11023-007-9063-5},
url = {http://dx.doi.org/10.1007/s11023-007-9063-5},
researchr = {https://researchr.org/publication/ArkoudasB07},
cites = {0},
citedby = {0},
journal = {Minds and Machines},
volume = {17},
number = {2},
pages = {185-202},
}