| |
| 2008 | ||
|---|---|---|
| 2 | EE | Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura: Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Diagrams 2008: 188-205 |
| 2007 | ||
| 1 | EE | Koji Mineshima: A Presuppositional Analysis of Definite Descriptions in Proof Theory. JSAI 2007: 214-227 |
| 1 | Mitsuhiro Okada | [2] |
| 2 | Yuri Sato | [2] |
| 3 | Ryo Takemura | [2] |