Toshiro Minami (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

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