年別の研究成果
年別の研究成果
検索結果
-
2019
On quasi ordinal diagram systems
Okada, M. & Takahashi, Y., 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 288, p. 38-49 12 p.研究成果: Conference article › 査読
Open Access -
2012
On the cognitive efficacy of euler diagrams in syllogistic reasoning: A relational perspective
Mineshima, K., Sato, Y., Takemura, R. & Okada, M., 2012, In: CEUR Workshop Proceedings. 854, p. 17-31 15 p.研究成果: Conference article › 査読
3 被引用数 (Scopus) -
The efficacy of diagrams in syllogistic reasoning: A case of linear diagrams
Sato, Y. & Mineshima, K., 2012 7月 13, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7352 LNAI, p. 352-355 4 p.研究成果: Conference article › 査読
10 被引用数 (Scopus) -
2009
Conservativity for a hierarchy of Euler and Venn reasoning systems
Mineshima, K., Okada, M. & Takemura, R., 2009 12月 1, In: CEUR Workshop Proceedings. 510, p. 37-61 25 p.研究成果: Conference article › 査読
6 被引用数 (Scopus) -
2007
Computational semantics for basic protocol logic a stochastic approach
Bana, G., Hasebe, K. & Okada, M., 2007, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4846 LNCS, p. 86-94 9 p.研究成果: Conference article › 査読
1 被引用数 (Scopus) -
2003
Theoretical Computer Science: Preface
Girard, J. Y., Okada, M. & Scedrov, A., 2003 2月 18, In: Theoretical Computer Science. 294, 3, p. 333 1 p.研究成果: Conference article › 査読
-
1996
Electronic Notes in Theoretical Computer Science: Preface
Girard, J. Y., Okada, M. & Scedrov, A., 1996, In: Electronic Notes in Theoretical Computer Science. 3, p. 1 1 p.研究成果: Conference article › 査読