Hiroakira Ono
Hiroakira Ono
2 ספרים במאגר
ספרים
Proof Theory and Algebra in LogicHiroakira Ono

Proof Theory and Algebra in Logic
Hiroakira Ono · 2019
Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 ProceedingsHiroakira Ono

Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings
Hiroakira Ono · 2009
ספרים משותפים ואוספים
ספרים שבהם Hiroakira Ono מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Knowledge, Proof and DynamicsFenrong Liu

Knowledge, Proof and Dynamics
Fenrong Liu · 2021
Modality, Semantics and InterpretationsHu Liu

Modality, Semantics and Interpretations
Hu Liu · 2015
Philosophical Logic : Current Trends in AsiaSyraya Chin-Mu Yang

Philosophical Logic : Current Trends in Asia
Syraya Chin-Mu Yang · 2017
Interval / Probabilistic Uncertainty and Non-classical Logics (Advances in Intelligent and Soft Computing Book 46)Van-Nam Huynh

Interval / Probabilistic Uncertainty and Non-classical Logics (Advances in Intelligent and Soft Computing Book 46)
Van-Nam Huynh · 2008
Mathematical Logic in AsiaSergey Goncharov
Mathematical Logic in Asia
Sergey Goncharov · 2006