1995 | ||
---|---|---|
2 | EE | Takashi Matsuyama, Tomoaki Nitta: Geometric Theorem Proving by Integrated Logical and Algebraic Reasoning. Artif. Intell. 75(1): 93-113 (1995) |
1994 | ||
1 | EE | Shiho Nobesawa, Junya Tsutsumi, Tomoaki Nitta, Kotaro Ono, Sun Da Jiang, Masakazu Nakanishi: Segmenting A Sentence Into Morpiiemes Using Statistic Information Between Words. COLING 1994: 227-233 |
1 | Sun Da Jiang | [1] |
2 | Takashi Matsuyama | [2] |
3 | Masakazu Nakanishi | [1] |
4 | Shiho Nobesawa | [1] |
5 | Kotaro Ono | [1] |
6 | Junya Tsutsumi | [1] |