Books etc
Okada, Mitsuhiro
41-51 items (total 51)
Questions on Two Cognitive Models of Deductive Reasoning. In Images and Reasoning, volume 1. (eds. by Pierre Grialou, Giuseppe Longo, and Mitsuhiro Okada)
- Author
- Mitsuhiro Okada, Pierre Grialou
- Publisher
- Keio University Press
- Scope of Responsibility
- 31-67
Images and Reasoning: Proceeddings of the Interdisciplinary Conference on Images, Reason and Reasoning (Paris, Mar. 2004), volume 1. (eds. by Pierre Grialou, Giuseppe Longo, and Mitsuhiro Okada)
- Author
- Mitsuhiro Okada, Barbara Tversky, Pierre Grialou, Chizuru Shikishima, Juko Ando, Ryo Takemura, Jocelyn Benoist, Ludwig Huber, Shigeru Watanabe, Giuseppe Longo, Bernard Teissier, Dominique Lestel, Chris Herzfeld, Dieter Lohmar, Ulrike Aust, Wilfried Apfalter
- Publisher
- Keio University Press
- Role
- Edit
- Book Category
- Other
Correspondence-theory and contextual-theory of meaning in Husserl and Wittgenstein. In Husserl et Wittgenstein: de la description de l'expérience à la phénoménologie linguistique. (eds by Jocelyn Benoist and Sandra Laugier)
- Author
- Mitsuhiro Okada
- Publisher
- Georg Olms Verlag
- Scope of Responsibility
- 27-69
Software Security -- Theories and Systems
- Author
- Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, and Akinori Yonezawa.
- Publisher
- Springer
- Role
- Joint editor
- Book Category
- Scholarly book
A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. In Software Security - Theories and Systems (eds. by Mitsuhiro Okada et al.)
- Author
- Mitsuhiro Okada, Koji Hasebe
- Publisher
- Springer
- Scope of Responsibility
- 357-367
Ideal Concepts, Intuitions, and Mathematical Knowlegdge Acquisitions in Husserl and Hilbert (A Preliminary Report). In Progress in Discovery Science, Final Report of the Japanese Discovery Science Project (eds. by Setsuo Arikawa and Ayumi Shinohara)
- Author
- Mitsuhiro Okada
- Publisher
- Springer
- Role
- Sole author
- Scope of Responsibility
- 40-77
- Book Category
- Scholarly book
法律知識の論理による表現. In 法律人工知能 (吉野 一, 他 編)
- Author
- 岡田 光弘
- Publisher
- 創成社出版
- Role
- Joint author
- Scope of Responsibility
- 169-181
- Book Category
- Scholarly book
Theories of Types and Proofs, volume 2 of Memoirs of Mathematical Society of Japan.
- Author
- (eds. by Masako Takahashi, Mitsuhiro Okada, and Mariangiola Dezani-Ciancaglini)
- Publisher
- Mathematical Society of Japan
- Role
- Joint editor
- Book Category
- Scholarly book
Eye-Tracking Study of Decision-Making with Graphically Represented Multi-Attribute Tables.
- Author
- Okubo,S.& Okada,M.
- Publisher
- Report of the Reserch Center for Thinking and Behavioral Judgement(ed.M.Okada et al.),Keio University
- Role
- Joint author
- Scope of Responsibility
- 17-23
A Report of Reserch Center for Thinkingand and Behavioral Judgement
- Author
- Mitsuhiro Okada, Tatsuya Kashiwabata, Hisanori Tsuge, Juko Ando, Jun ichi Yamamoto, Takayuki Sakagami, Satoshi Umeda, Masao Ogaki, Hideo Akabayashi, Noburu Notomi, and Keiko Fujisawa.
- Publisher
- Research Centre for Thinking and Behavioral Judgment, Keio University
- Role
- Joint author
- Book Category
- Scholarly book
Effects of Representation Patterns in Multi-Attribute Decision-Making: An Eye-Tracking Study
- Author
- Masahiro Morii, Takashi Ideno, Shigetaka Okubo, and Mitsuhiro Okada
- Publisher
- Research Centre for Thinking and Behavioral Judgment, Keio University
- Role
- Joint author
- Book Category
- Scholarly book