Okada, M. (Mitsuhiro), 1954-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | Conditional and typed rewriting systems, c1991: CIP t.p. (M. Okada) t.p. verso (Mitsuhiro Okada; Dept. of Comp. Sci., Concordia Univ., Montreal, Can.) NLC 3-20-91 慶應義塾大学文学部教授 EDSRC:リスクの誘惑 / 宮坂敬造 [ほか] 編 (慶応義塾大学出版会, 2011.9)によりNOTEフィールド追加 |
生没年等 | 1954 |
から見よ参照 | 岡田, 光弘<オカダ, ミツヒロ> 岡田, 光弘(1954-)<オカダ, ミツヒロ> Okada, Mitsuhiro, 1954- |
コード類 | 典拠ID=A000066021 NCID=DA05669792 |
1 | リスクの誘惑 / 宮坂敬造 [ほか] 編 東京 : 慶應義塾大学出版会 , 2011.9 |
2 | 情の技法 / 坂本光 [ほか] 編 東京 : 慶應義塾大学出版会 , 2006.9 |
3 | Towards new logic and semantics : Franco-Japanese collaborative lectures on philosophy of logic / Joselyn Benoist ... [et al.] (editor) Tokyo : Keio University, Centre for Integrated Research on the Mind , 2006 |
4 | Images and reasoning / edited by Pierre Grialou, Giuseppe Longo, Mitsuhiro Okada Tokyo : Keio University, Centre for Integrated Research on the Mind , 2005 |