Language: English

圖資館首頁

Login

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.

Change password

Login