Hiroakira Ono
· 7 obras en el catálogo
Obras

Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings

Interval / Probabilistic Uncertainty and Non-classical Logics (Advances in Intelligent and Soft Computing Book 46)

Philosophical Logic : Current Trends in Asia

Knowledge, Proof and Dynamics

Proof Theory and Algebra in Logic
