Koji Mineshima

	2010
4		Yuri Sato, Koji Mineshima, Ryo Takemura: The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. Diagrams 2010: 6-22
3		Koji Mineshima, Mitsuhiro Okada, Ryo Takemura: Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. Diagrams 2010: 99-114
	2008
2		Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura: Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Diagrams 2008: 188-205
	2007
1		Koji Mineshima: A Presuppositional Analysis of Definite Descriptions in Proof Theory. JSAI 2007: 214-227

Coauthor Index

1	Mitsuhiro Okada	[2] [3]
2	Yuri Sato	[2] [4]
3	Ryo Takemura	[2] [3] [4]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page