The Effect of the Theorem Prover in Cognitive Science.
Tadashi Takahashi, Hidetsune Kobayashi
VenueMulticonferenceICCS
Year2006
ProceedingsInternational Conference on Computational Science (1)
DBLP recordconf/iccS/TakahashiK06 ↗
Browse the full ICCS paper archive.