Tadashi Takahashi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

1 Tadashi Takahashi, Hidetsune Kobayashi: The Effect of the Theorem Prover in Cognitive Science. International Conference on Computational Science (1) 2006: 924-927

	2006
1		Tadashi Takahashi, Hidetsune Kobayashi: The Effect of the Theorem Prover in Cognitive Science. International Conference on Computational Science (1) 2006: 924-927

Coauthor Index