著者典拠情報

標目形：
小野, 寛晰(1942-)||オノ, ヒロアキラ
属性：
Personal
日付：
1942
から見よ参照形：
Ono, H.
Ono, Hiroakira
注記：
京都大・理解析研・助手
北陸先端科学技術大学院大学情報科学研究科教授
EDSRC:非標準論理研究の新しい展開 / 研究代表者 小野寛晰 ([小野寛晰], 2001.3)
EDSRC:Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 Senptember 2008 / editor T. Arai ... [et al.](World Scientific, c2010): t.p. (H. Ono, Japan Advanced Institute of Science and Technology, Japan) pref. (Hiroakira Ono)
著者典拠ID：
DA00640115


 close
1.

図書
図書
1. 現代数理論理学序説
古森雄一, 小野寛晰著
出版情報: 東京 : 日本評論社, 2010.6
所蔵情報: loading…
2.

図書
図書
2. 情報代数
小野寛晰著
出版情報: 東京 : 共立出版, 1994.2
シリーズ名: 情報数学講座 ; 2
所蔵情報: loading…
3.

図書
図書
3. 情報科学における論理
小野寛晰著
出版情報: 東京 : 日本評論社, 1994.4
シリーズ名: 情報数学セミナー
所蔵情報: loading…
4.

図書
図書
4. 文科系の数学
小野寛晰著
出版情報: 東京 : 産業図書, 1982.12
所蔵情報: loading…
5.

図書
図書
5. プログラムの基礎理論
小野寛晰著
出版情報: 東京 : サイエンス社, 1975.10
シリーズ名: 計算機ライブラリ ; 7
所蔵情報: loading…
6.

図書
図書
6. 関係の代数 : 集合・順序・グラフ
小野寛晰著
出版情報: 東京 : 教育出版, 1974.9
シリーズ名: シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 6
所蔵情報: loading…