Computational Logic Laboratory
Ono Ishihara Laboratory

NOTE: Japanese page is here.

Member
* Member of Ono Laboratory
* Member of Ishihara Laboratory
* Researsh Associate
Research Activities
* Seminars at JAIST
* Conferences
* Research Reports & Theses
Address:
Ono Ishihara Laboratory
School of Information Science
Japan Advanced Institute of Science and Technology,
1-1 Asahidai, Tatsunokucni, Nomi, Ishikawa 923-1292, Japan
Phone:
0761-51-[one of the following](direct in)
0761-51-1699-[one of the following](extension)
[Group in Logic], [ Toyama's Laboratory], [ Research Groups], [ School of Information Science], [JAIST]
Last modified: 27 November 1997 by Tasuku Kondou (tasuku@jaist.ac.jp).