本文に飛ぶ

年 〜
年

検索結果 14 件

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)
紙図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.Springer[2020]<H35-D4>
国立国会図書館全国の図書館
  • 著者標目（識別子）00061580

Proof theory and algebra in logic (Short textbooks in logic)

Proof theory and algebra in logic (Short textbooks in logic)
紙図書
Hiroakira OnoSpringer[2019]<MA41-D5>
国立国会図書館全国の図書館
  • 著者標目（識別子）00061580

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)
紙図書
Shier Ju, Hu Liu, Hiroakira Ono, editors.Springer[2015]<H35-B17>
国立国会図書館全国の図書館
  • 著者標目（識別子）00061580

現代数理論理学序説

現代数理論理学序説
紙図書
古森雄一, 小野寛晰 著日本評論社2010.6<MA41-J40>
国立国会図書館全国の図書館
  • 著者標目（識別子）01203838 00061580

代数的方法による論理学の新たな展開

代数的方法による論理学の新たな展開
紙図書
小野寛晰, 北陸先端科学技術大学院大学 [著][小野寛晰]2005-2007<Y151-H17540109>
国立国会図書館
  • 著者標目（識別子）00061580 00366751

部分構造論理と代数構造

部分構造論理と代数構造
紙図書
小野寛晰, 北陸先端科学技術大学院大学 [著][小野寛晰]2001-2003<Y151-H13640109>
国立国会図書館
  • 著者標目（識別子）00061580 00366751

非標準論理研究の新しい展開

非標準論理研究の新しい展開
紙図書
小野, 寛晰, 北陸先端科学技術大学院大学1998-2000<Y151-H10440027>
国立国会図書館
  • 著者標目（識別子）00061580

理論計算機科学における数理論理学の応用

理論計算機科学における数理論理学の応用
紙図書
小野, 寛晰, 北陸先端科学技術大学院大学1996-1997<Y151-H08680356>
国立国会図書館
  • 著者標目（識別子）00061580

Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)

Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)
紙図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam[1995?]<MA41-A104>
国立国会図書館
  • 著者標目（識別子）00061580

情報科学における論理 (情報数学セミナー)

情報科学における論理 (情報数学セミナー)
紙デジタル図書
小野寛晰 著日本評論社1994.4<MA41-E82>
国立国会図書館全国の図書館
  • 著者標目（識別子）00061580

情報代数 (情報数学講座 ; 第2巻)

情報代数 (情報数学講座 ; 第2巻)
紙デジタル図書
小野寛晰 著共立出版1994.2<MA67-E25>
国立国会図書館全国の図書館
  • 著者標目（識別子）00061580

文科系の数学

文科系の数学
紙デジタル図書
小野寛晰 著産業図書1982.12<MA21-191>
国立国会図書館全国の図書館
  • 著者標目（識別子）00061580

プログラムの基礎理論 (計算機ライブラリ ; 7)

プログラムの基礎理論 (計算機ライブラリ ; 7)
紙デジタル図書障害者向け資料あり
小野寛晰 著サイエンス社1975<M159-236>
インターネットで読める国立国会図書館全国の図書館
  • 著者標目（識別子）00061580

関係の代数 : 集合・順序・グラフ (シリーズ新しい応用の数学 ; 6)

関係の代数 : 集合・順序・グラフ (シリーズ新しい応用の数学 ; 6)
紙デジタル図書
小野寛晰 著教育出版1974<MA61-9>
国立国会図書館全国の図書館
  • 著者標目（識別子）00061580

検索結果は以上です。

RSS