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]
Abstract is missing.