Rchr
J-GLOBAL ID:200901057537366915
Update date: Jan. 29, 2006
Mouri Motohiko
モウリ モトヒコ | Mouri Motohiko
Affiliation and department:
旧所属 東京電機大学 理工学部 情報科学科
About 旧所属 東京電機大学 理工学部 情報科学科
Search "旧所属 東京電機大学 理工学部 情報科学科"
Job title:
助手
Homepage URL (1):
http://www.j.dendai.ac.jp/~mouri/
Research field (1):
Information theory
Research keywords (4):
定理自動証明
, 数理論理学
, Automated Theorem Proving
, Mathematical logic
Research theme for competitive and other funds (2):
2000 - 2005 様相論理の証明反駁アルゴリズム
2000 - 2005 Proof or Refutation Algorithm for Modal logics
MISC (4):
Constructing counter-models for modal logic K4 from refutation trees. Bulletin of the Section of Logic. 2002. vol 31, No.2, pp81-90
Constructing counter-models for modal logic K4 from refutation trees. Bulletin of the Section of Logic. 2002. vol 31, No.2, pp81-90
Theorem Provers with Counter Models and xpe. Bulletin of the Section of Logic. 2001. vol 30, No.2, pp79-86
Theorem Provers with Counter Models and xpe Bulletin of the Section of Logic. Bulletin of the Section of Logic. 2001. vol 30, No.2, pp79-86
Education (4):
- 2000 Japan Advanced Institute of Science and Technology
- 2000 Japan Advanced Institute of Science and Technology Graduate School, Division of Information Science Department of Information Processing
- 1992 Tohoku University Faculty of Engineering
- 1992 Tohoku University Faculty of Engineering Department of Infomation Engineering
Professional career (1):
Doctor(Infomation Science) (Japan Advanced Institute of Science and Technology)
Work history (4):
2003 - Tokyo Denki University School of Science and Engineering
2003 - Instructor, Tokyo Denki University
2002 - Hokkaido University School of Engineering
2002 - Lecturere, Hokkaido University
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM