Jump to main content

yr 〜
yr

Search results 12

Filosofia japoneză azi

Filosofia japoneză azi
Paper図書
volum coordonat de Shunzo Majima, Emanuel-Mihail SocaciuEditura Universităţii din București2013
Other Libraries in Japan
  • Author Heading...-Mihail 出口, 康夫 Okada, M. (Mitsuhiro) 田口, 茂 柏端, 達也 塩野, 直之 近藤, 智彦 Su...

Essays in the foundations of logical and phenomenological studies 1st ed

Essays in the foundations of logical and phenomenological studies 1st ed
Paper図書
J. Benoist ... [et al.] ; M. Okada (editor)Keio University, Centre for Integrated Research on the Mind2007
Other Libraries in Japan
  • Author HeadingBenoist, Jocelyn Okada, M. (Mitsuhiro)

Essays in the foundations of logical and phenomenological studies

Essays in the foundations of logical and phenomenological studies
Paper図書
J. Benoist ... [et al.] ; M. Okada (editor)Keio University Press2007
Other Libraries in Japan
  • Author HeadingBenoist, Jocelyn Okada, M. (Mitsuhiro)

Advances in computer science--Asian 2006 : secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers

Advances in computer science--Asian 2006 : secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers
Paper図書
Mitsu Okada, Ichiro Satoh (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingAsian Computing Science Conference Okada, M. (Mitsuhiro) 佐藤, 一郎

11th Annual Asian Computing Science Conference, December 6-8, 2006, Tokyo, Japan

11th Annual Asian Computing Science Conference, December 6-8, 2006, Tokyo, Japan
Paper図書
Mitsu Okada and Ichiro Satoh (ed.)[s.n.][2006?]
Other Libraries in Japan
  • Author HeadingAsian Computing Science Conference Okada, M. (Mitsuhiro) 佐藤, 一郎

Towards new logic and semantics : Franco-Japanese collaborative lectures on philosophy of logic 1st ed

Towards new logic and semantics : Franco-Japanese collaborative lectures on philosophy of logic 1st ed
Paper図書
Joselyn Benoist, Jean-Yves Girard, Yoshinori Ogawa, Mitsuhiro Okada (editor)Keio University, Centre for Integrated Research on the Mind2006
Other Libraries in Japan
  • Author HeadingBenoist, Jocelyn Girard, Jean-Yves 小川, 芳範 Okada, M. (Mitsuhiro)

Images and reasoning

Images and reasoning
Paper図書
edited by Pierre Grialou, Giuseppe Longo, Mitsuhiro OkadaKeio University Press2006
Other Libraries in Japan
  • Author Heading...ongo, Giuseppe Okada, M. (Mitsuhiro) Symposium "Images, reason and...

Images and reasoning 1st ed

Images and reasoning 1st ed
Paper図書
edited by Pierre Grialou, Giuseppe Longo, Mitsuhiro OkadaKeio University, Centre for Integrated Research on the Mind2005
Other Libraries in Japan
  • Author HeadingGrialou, Pierre Longo, Giuseppe Okada, M. (Mitsuhiro)

Software security : theories and systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers

Software security : theories and systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers
Paper図書
Mitsuhiro Okada ... [et al.] (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingISSS Okada, M. (Mitsuhiro)

Software security -- theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002 : Tokyo, Japan, November 8-10, 2002 : revised papers. : Nov 2002, Tokyo, Japan. (Lecture Notes in Computer Science ; 2609. Hot Topics)

Software security -- theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002 : Tokyo, Japan, November 8-10, 2002 : revised papers. : Nov 2002, Tokyo, Japan. (Lecture Notes in Computer Science ; 2609. Hot Topics)
Paper図書
Springerc2003.<M17-07-799>
National Diet Library
  • Author HeadingOkada, M. (Mitsuhiro) , 1954- ISSS 2002 (2002 : Tok...

Theories of types and proofs

Theories of types and proofs
Paper図書
Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)Mathematical Society of Japan1998
Other Libraries in Japan
  • Author Heading高橋, 正子 Okada, M. (Mitsuhiro) Dezani-Ciancaglini, Mariangio...

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings : gw : us

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings : gw : us
Paper図書
S. Kaplan, M. Okada, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingKaplan, Stéphane Okada, M. (Mitsuhiro) International Workshop on Con...

Reached to the end of result.

RSS