Toshiro Minami (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Takeshi Ohtani, Hajime Sawamura, Toshiro Minami: EUODHILOS-II on Top of GNU Epoch. CADE 1994: 816-820

3 Hajime Sawamura, Toshiro Minami, Kyoko Ohashi: EUODHILOS: A General Reasoning System for a Variety of Logics. LPAR 1992: 501-503

2 Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi: A Logic Programming Approach to Specifying Logics and Constructing Proofs. ICLP 1990: 405-424

1 Toshiro Minami, Hajime Sawamura, Kaoru Satoh, Kyoko Tsuchiya: EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation. LP 1988: 172-187

Selection of 4 from 12 records - Toshiro Minami has 11 coauthors

4		Takeshi Ohtani, Hajime Sawamura, Toshiro Minami: EUODHILOS-II on Top of GNU Epoch. CADE 1994: 816-820
3		Hajime Sawamura, Toshiro Minami, Kyoko Ohashi: EUODHILOS: A General Reasoning System for a Variety of Logics. LPAR 1992: 501-503
2		Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi: A Logic Programming Approach to Specifying Logics and Constructing Proofs. ICLP 1990: 405-424
1		Toshiro Minami, Hajime Sawamura, Kaoru Satoh, Kyoko Tsuchiya: EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation. LP 1988: 172-187