查詢 text:Propositional calculus ，共 3 筆
查詢再細分
-
- 語言
- 英語(3)
-
- 作者
- Biere, Armin.(1)
- Giunchiglia, Enrico.(1)
- Heule, Marijn,(1)
- Lemmon, E. J.(1)
- Maaren, Hans van.(1)
- Tacchella, Armando.(1)
-
- 主題
- Computer algorithms(2)
- Decision making(2)
- Logic.(2)
- Propositional calculus(2)
- Propositional calculus.(2)
- Algorithme.(1)
- Algorithmes(1)
- Boolesche Formel(1)
- Calcul des propositions.(1)
- Calcul propositionnel(1)
-
- 館別
- 總圖(1)
-
-
3 0 0 0 0
Handbook of satisfiability[electronic resource]
- 作者: Biere, Armin.
- 出版: Amsterdam : IOS Press 2021.
- 資料類型: 電子書
-
15 0 0 0 0
Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
- 作者: Giunchiglia, Enrico.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書