Tadashi Takahashi, Hidetsune Kobayashi. The Effect of the Theorem Prover in Cognitive Science. In Vassil N. Alexandrov, G. Dick van Albada, Peter M. A. Sloot, Jack Dongarra, editors, Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I. Volume 3991 of Lecture Notes in Computer Science, pages 924-927, Springer, 2006. [doi]
@inproceedings{TakahashiK06,
title = {The Effect of the Theorem Prover in Cognitive Science},
author = {Tadashi Takahashi and Hidetsune Kobayashi},
year = {2006},
doi = {10.1007/11758501_139},
url = {http://dx.doi.org/10.1007/11758501_139},
tags = {e-science},
researchr = {https://researchr.org/publication/TakahashiK06},
cites = {0},
citedby = {0},
pages = {924-927},
booktitle = {Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I},
editor = {Vassil N. Alexandrov and G. Dick van Albada and Peter M. A. Sloot and Jack Dongarra},
volume = {3991},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-34379-2},
}