查詢 au:Maaren, Hans van. ，共 1 筆
查詢再細分
-
- 出版年
- 2021(1)
-
- 語言
- 英語(1)
-
- 作者
- Biere, Armin.(1)
- Heule, Marijn,(1)
- Maaren, Hans van.(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- Computer algorithms(1)
- Decision making(1)
- Propositional calculus(1)
-
2 0 0 0 0Handbook of satisfiability[electronic resource]
- 作者: Biere, Armin.
- 出版: Amsterdam : IOS Press 2021.
- 資料類型: 電子書