Handbook of satisfiability[electronic resource]
- 其他作者:
Biere, Armin.
,
Heule, Marijn,
,
Maaren, Hans van.
- 出版:
Amsterdam : IOS Press 2021.
- 版本:
2nd ed.
- 稽核項:
1 online resource :ill.
- 叢書名:
Frontiers in Artificial Intelligence and Applications ;v. 336
- 標題:
Propositional calculus Congresses.
,
Computer algorithms Congresses.
,
Decision making Congresses.
,
Computer algorithms
,
Propositional calculus
,
Electronic books.
,
Decision making
- ISBN:
1643681605 , 9781643681603
- 試查全文@TNUA:
- 電子資源:
https://dbs.tnua.edu.tw/login?url=http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781643681603
- 系統號:
005331162
-
資料類型:
電子書
- 讀者標籤:
需登入
-
引用網址:
複製連結
-
目前引用數
-