年 〜
年

検索結果 12 件

Reports on interdisciplinary logical reasoning studies technical report 1 (Preliminaries and backgrounds to the BAROCO-research on syllogistic deductive inference)

Reports on interdisciplinary logical reasoning studies technical report 1 (Preliminaries and backgrounds to the BAROCO-research on syllogistic deductive inference)
紙図書
editors: Mitsuhiro Okada, Ryo Takemura, Juko AndoKeio University Centre for Advanced Research on Logic and Sensibility Logic and Informatics Section2008.3<H35-B9>
国立国会図書館全国の図書館
  • 著者標目（識別子）01011069 01127496 00368178

Essays in the foundations of logical and phenomenological studies (Interdisciplinary series on reasoning studies ; v. 3)

Essays in the foundations of logical and phenomenological studies (Interdisciplinary series on reasoning studies ; v. 3)
紙図書
Mitsuhiro Okada (editor)Keio University Centre for Integrated Research on the Mind2007.3<H35-B6>
国立国会図書館
  • 著者標目（識別子）01011069

Essays in the foundations of logical and phenomenological studies : Centre for Integrated Research on the Mind (Interdisciplinary conference series on reasoning studies ; v. 3)

Essays in the foundations of logical and phenomenological studies : Centre for Integrated Research on the Mind (Interdisciplinary conference series on reasoning studies ; v. 3)
紙図書
[by] J. Benoist [et al.], Mitsuhiro Okada (editor)Keio University Press2007.12<H35-B7>
国立国会図書館全国の図書館
  • 著者標目（識別子）01066126 01011069

リスクの誘惑

リスクの誘惑
紙図書
宮坂敬造, 岡田光弘, 坂上貴之, 坂本光, 巽孝之 編慶応義塾大学出版会2011.9<EC221-J335>
国立国会図書館全国の図書館
  • 著者標目（識別子）00116944 01011069 00557862

Images and reasoning : Paris Meeting, March 2004 (Interdisciplinary conference series on reasoning studies ; v. 1)

Images and reasoning : Paris Meeting, March 2004 (Interdisciplinary conference series on reasoning studies ; v. 1)
紙図書
edited by Pierre Grialou, Giuseppe Longo, Mitsuhiro OkadaKeio University Centre for Integrated Research on the Mind2005.3<SB88-B9>
国立国会図書館全国の図書館
  • 著者標目（識別子）01011082 01011078 01011069

充実期を迎えた線形論理の進化とその応用に関する研究

充実期を迎えた線形論理の進化とその応用に関する研究
紙図書
岡田光弘, 慶應義塾大学 [著][岡田光弘]2003-2005<Y151-H15300008>
国立国会図書館
  • 著者標目（識別子）01011069 00256814

タイプ理論と線形論理のプログラム言語理論への応用

タイプ理論と線形論理のプログラム言語理論への応用
紙図書
岡田, 光弘, 慶応義塾大学1998-1999<Y151-H10044094>
国立国会図書館
  • 著者標目（識別子）01011069

論理学的手法を用いたプログラミング言語の計算モデルの理論

論理学的手法を用いたプログラミング言語の計算モデルの理論
紙図書
岡田光弘, 慶応義塾大学1997-1999<Y151-H09480058>
国立国会図書館
  • 著者標目（識別子）01011069

実時間システムに対する論理的仕様・検証言語の国際共同実装計画

実時間システムに対する論理的仕様・検証言語の国際共同実装計画
紙図書
岡田光弘, 慶應義塾大学 [著][岡田光弘]2001-2003<Y151-H13558031>
国立国会図書館
  • 著者標目（識別子）01011069 00256814

ジラールの線形論理とその情報科学への応用

ジラールの線形論理とその情報科学への応用
紙図書
岡田, 光弘, 慶応義塾大学1995-1997<Y151-H07808035>
国立国会図書館
  • 著者標目（識別子）01011069

線形論理を用いた並行計算システム及び実時間システムの形式仕様・形式検証の理論

線形論理を用いた並行計算システム及び実時間システムの形式仕様・形式検証の理論
紙図書
岡田, 光弘, 慶應義塾大学2000-2002<Y151-H12480075>
国立国会図書館
  • 著者標目（識別子）01011069 00256814

Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.). (Lecture notes in computer science)

Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1991.<M15-A7738>
国立国会図書館
  • 著者標目（識別子）01011069

検索結果は以上です。