Ono, Hiroakira.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, language, information and computation16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
by:
(1998 :); Kanazawa, Makoto.; Ono, Hiroakira.; Queiroz, Ruy de.; SpringerLink (Online service)
(書目-電子資源)
Hiroakira Ono on substructural logics
by:
Galatos, Nikolaos.; Ono, Hiroakira.; SpringerLink (Online service); Terui, Kazushige.
(書目-電子資源)
Modality, semantics and interpretationsthe second Asian Workshop on Philosophical Logic /
by:
(1998 :); Ju, Shier.; Liu, Hu.; Ono, Hiroakira.; SpringerLink (Online service)
(書目-電子資源)
Philosophical logiccurrent trends in Asia : proceedings of AWPL-TPLC 2016 /
by:
Lee, Kok Yong.; Ono, Hiroakira.; SpringerLink (Online service); Yang, Syraya Chin-Mu.
(書目-電子資源)
Knowledge, proof and dynamicsthe Fourth Asian Workshop on Philosophical Logic /
by:
(1998 :); Liu, Fenrong.; Ono, Hiroakira.; SpringerLink (Online service); Yu, Junhua.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Mathematics of Computing.
Algebraic logic.
Logic, Symbolic and mathematical.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Logic
Ono, Hiroakira.
Philosophy, general.
Proof theory.
Order, Lattices, Ordered Algebraic Structures.
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Philosophy