語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
Applied logic series,
書目資訊
Foundations of Bayesianism /
~
Corfield, David.
Foundations of Bayesianism /
by:
Corfield, David.
Analysis and synthesis of logics :ho...
~
Carnielli, Walter A.
Analysis and synthesis of logics :how to cut and paste reasoning systems /
by:
Carnielli, Walter A.
Hybrid logic and its proof-theory
~
Brauner, Torben.
Hybrid logic and its proof-theory
by:
Brauner, Torben.
Proof theory for fuzzy logics
~
Gabbay, Dov M.
Proof theory for fuzzy logics
by:
Gabbay, Dov M.
Analysis and Synthesis of Logics :Ho...
~
Carnielli, Walter.
Analysis and Synthesis of Logics :How to Cut and Paste Reasoning Systems /
by:
Carnielli, Walter.
Reasoning Robots :The Art and Science of Programming Robotic Agents /
by:
Thielscher, Michael.
A Modern Perspective on Type Theory :From its Origins until Today /
by:
Kamareddine, Fairouz.
處理中
...
變更密碼
登入