登入選單
Google圖書搜尋
Proof Theory and Algebra in Logic
作者
Hiroakira Ono
出版Springer, 2019-08-02
ISBN
9789811379970 / 9811379971
主題
Philosophy
Residuated Lattices: An Algebraic Glimpse at Subst...
作者
Nikolaos Galatos / Peter Jipsen / Tomasz Kowalski / Hiroakira Ono
出版Elsevier, 2007-04-25
ISBN
9780080489643 / 0080489648
主題
Mathematics
Logics of Belief and Belief Sets
作者
Hiroakira Ono
出版1990
ISBN
OCLC:48364650
主題
Artificial intelligence
Decidability and Finite Model Property of Substruc...
作者
Hiroakira Ono
出版1995
ISBN
OCLC:68949157
Logic, Language, Information and Computation
作者
Hiroakira Ono / Makoto Kanazawa
出版Springer Science & Business Media, 2009-05-27
ISBN
9783642022609 / 364202260X
主題
Computers
Phase Structures and Quantales
作者
Hiroakira Ono
出版1990
ISBN
OCLC:48445579
主題
Completeness theorem