Hiroakira Ono
Hiroakira Ono
2 books in the database
Books
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
Co-authored books and collections
Books that list Hiroakira Ono among their authors but not as the lead author: co-written works, collections and compilations.
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