Jump to main content

yr 〜
yr

Search results 21

Logic, language, information and computation : 16th international workshop, WoLLIC 2009 : Tokyo, Japan, June 21-24, 2009 : proceedings. : Jun 2009, Tokyo, Japan. (Lecture Notes in Computer Science ; 5514. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 16th international workshop, WoLLIC 2009 : Tokyo, Japan, June 21-24, 2009 : proceedings. : Jun 2009, Tokyo, Japan. (Lecture Notes in Computer Science ; 5514. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-644>
National Diet Library
  • Author HeadingOno, Hiroakira. Kanazawa, Makoto, 1964- Queir...

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

Proof theory and algebra in logic (Short textbooks in logic)
Paper図書
Hiroakira OnoSpringer[2019]<MA41-D5>
National Diet LibraryOther Libraries in Japan

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)
Paper図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.Springer[2020]<H35-D4>
National Diet LibraryOther Libraries in Japan

The inductive and modal proof theory of Aumann's theorem on rationality

The inductive and modal proof theory of Aumann's theorem on rationality
Digital規格・テクニカルリポート類
Vestergaard, Rene, Lescanne, Pierre, Ono, Hiroakira北陸先端科学技術大学院大学情報科学研究科2006-07-07Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2006-009p.1-17
Other Libraries in Japan

Reasoning in Nonclassical Logics

Reasoning in Nonclassical Logics
Digitalその他
Ono, Hiroakira2005-03-11p.1-4
Other Libraries in Japan

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)
Paper図書
Shier Ju, Hu Liu, Hiroakira Ono, editors.Springer[2015]<H35-B17>
National Diet LibraryOther Libraries in Japan

Hilbert style proof system for BPL

Hilbert style proof system for BPL
Digital規格・テクニカルリポート類
Suzuki, Yasuhito, Ono, Hiroakira北陸先端科学技術大学院大学情報科学研究科1997-10-07Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0040Fp.1-8
Other Libraries in Japan

現代数理論理学序説

現代数理論理学序説
Paper図書
古森雄一, 小野寛晰 著日本評論社2010.6<MA41-J40>
National Diet LibraryOther Libraries in Japan

数学基礎論及び数理論理学の総合的研究

数学基礎論及び数理論理学の総合的研究
Paper図書
小野, 寛晰, 広島大学1984-<Y151-S59340011>
National Diet Library

Uniqueness of normal proofs in {→,∧}-fragment of NJ

Uniqueness of normal proofs in {→,∧}-fragment of NJ
Digital規格・テクニカルリポート類
Aoto, Takahito, Ono, Hiroakira北陸先端科学技術大学院大学情報科学研究科1994-08-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-94-0024Fp.1-20
Other Libraries in Japan

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)
Paper図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam[1995?]<MA41-A104>
National Diet Library

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

非標準論理研究の新しい展開
Paper図書
小野, 寛晰, 北陸先端科学技術大学院大学1998-2000<Y151-H10440027>
National Diet Library

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

情報代数 (情報数学講座 ; 第2巻)
PaperDigital図書
小野寛晰 著共立出版1994.2<MA67-E25>
National Diet LibraryOther Libraries in Japan

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

代数的方法による論理学の新たな展開
Paper図書
小野寛晰, 北陸先端科学技術大学院大学 [著][小野寛晰]2005-2007<Y151-H17540109>
National Diet Library

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

情報科学における論理 (情報数学セミナー)
PaperDigital図書
小野寛晰 著日本評論社1994.4<MA41-E82>
National Diet LibraryOther Libraries in Japan

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

理論計算機科学における数理論理学の応用
Paper図書
小野, 寛晰, 北陸先端科学技術大学院大学1996-1997<Y151-H08680356>
National Diet Library

A study of intermediate predicate logics

A study of intermediate predicate logics
Paper博士論文
小野寛晰 [著]<UT51-48-E582>
National Diet Library

部分構造論理と代数構造

部分構造論理と代数構造
Paper図書
小野寛晰, 北陸先端科学技術大学院大学 [著][小野寛晰]2001-2003<Y151-H13640109>
National Diet Library

文科系の数学

文科系の数学
PaperDigital図書障害者向け資料あり
小野寛晰 著産業図書1982.12<MA21-191>
National Diet LibraryOther Libraries in Japan

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

プログラムの基礎理論 (計算機ライブラリ ; 7)
PaperDigital図書障害者向け資料あり
小野寛晰 著サイエンス社1975<M159-236>
Available onlineNational Diet LibraryOther Libraries in Japan
RSS