查詢 text:Mathematische Logik ，共 8 筆
查詢再細分
-
- 語言
- 英語(8)
-
- 資料類型
- 電子書(8)
-
- 主題
- Mathematische Logik(8)
- Logic, Symbolic and mathematical.(4)
- Logique symbolique et mathématique.(4)
- Logic.(3)
- MATHEMATICS(3)
- COMPUTERS(2)
- Infinity.(2)
- Logik(2)
- Agent intelligent.(1)
- Agents intelligents (Logiciels)(1)
- More
-
10 0 0 0 0Computability and logic.
- 作者: Boolos, George.
- 出版: Cambridge ;New York : Cambridge University Press 2002.
- 資料類型: 電子書
-
-
14 0 0 0 0
Paradox and paraconsistency :conflict resolution in the abstract sciences
- 作者: Woods, John
- 出版: Cambridge, U.K. ;New York : Cambridge University Press 2003.
- 資料類型: 電子書
-
6 0 0 0 0
The logic of concept expansion
- 作者: Buzaglo, Meir,
- 出版: Cambridge ;New York : Cambridge University Press 2002.
- 資料類型: 電子書
-
8 0 0 0 0
Representing and reasoning with probabilistic knowledge :a logical approach to probabilities
- 作者: Bacchus, Fahiem.
- 出版: Cambridge, Mass. : MIT Press ©1990.
- 資料類型: 電子書
-
8 0 0 0 0
Declarative agent languages and technologies :first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers
- 作者: Leite, João Alexandre.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
3 0 0 0 0
Theory and applications of relational structures as knowledge instruments :COST Action 274, TARSKI : revised papers
- 作者: Swart, H. C. M. de.
- 出版: Berlin ;New York : Springer ©2003.
- 資料類型: 電子書
-
7 0 0 0 0
Theory of language syntax :categorial approach
- 作者: Wybraniec-Skardowska, Urszula.
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©1991.
- 資料類型: 電子書