語系
Ono, Hiroakira.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Modality, semantics and interpretations = the second Asian Workshop on Philosophical Logic /
by:
Liu, Hu.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Ono, Hiroakira.; Ju, Shier.
(書目-語言資料,印刷品)
Modality, Semantics and Interpretations = The Second Asian Workshop on Philosophical Logic /
by:
Ju, Shier.; Ono, Hiroakira.; SpringerLink (Online service); Liu, Hu.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Proof Theory and Algebra in Logic
by:
SpringerLink (Online service); Ono, Hiroakira.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Philosophical logic = current trends in Asia : proceedings of AWPL-TPLC 2016 /
by:
Ono, Hiroakira.; Yang, Syraya Chin-Mu.; SpringerLink (Online service); Lee, Kok Yong.
(書目-語言資料,印刷品)
Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic /
by:
Liu, Fenrong.; SpringerLink (Online service); Ono, Hiroakira.; Yu, Junhua.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Ordered algebraic structures.
Artificial intelligence.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Philosophy
Logic
Proof theory.
Algebraic logic.
Algebra.
Philosophy.
Order, Lattices, Ordered Algebraic Structures.