語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Handbook of satisfiability
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Handbook of satisfiability/ editors: Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh.
其他作者:
Maaren, Hans van.
出版者:
Amsterdam :IOS Press, : 2021.,
面頁冊數:
1 online resource :ill. :
標題:
Computer algorithms - Congresses. -
電子資源:
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781643681603
ISBN:
9781643681610 (electronic bk.)
Handbook of satisfiability
Handbook of satisfiability
[electronic resource] /editors: Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh. - 2nd ed. - Amsterdam :IOS Press,2021. - 1 online resource :ill. - Frontiers in Artificial Intelligence and Applications ;v. 336. - Frontiers in artificial intelligence and applications ;v. 207..
ISBN: 9781643681610 (electronic bk.)Subjects--Topical Terms:
528474
Computer algorithms
--Congresses.Index Terms--Genre/Form:
554714
Electronic books.
LC Class. No.: QA9.3 / .H36 2021
Dewey Class. No.: 511.3
Handbook of satisfiability
LDR
:00754cam a2200217 a 4500
001
1155697
006
m d
007
cr nn muauu
008
250625s2021 ne o 000 0 eng d
020
$a
9781643681610 (electronic bk.)
020
$a
9781643681603
035
$a
1252418310
040
$a
EBLCP
$b
eng
$c
EBLCP
$d
OCLCO
041
0
$a
eng
050
4
$a
QA9.3
$b
.H36 2021
082
0 4
$a
511.3
$2
23
245
0 0
$a
Handbook of satisfiability
$h
[electronic resource] /
$c
editors: Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh.
250
$a
2nd ed.
260
$a
Amsterdam :
$b
IOS Press,
$c
2021.
300
$a
1 online resource :
$b
ill.
490
1
$a
Frontiers in Artificial Intelligence and Applications ;
$v
v. 336
650
0
$a
Computer algorithms
$v
Congresses.
$3
528474
650
0
$a
Decision making
$v
Encyclopedias.
$3
660125
$3
731058
650
0
$a
Propositional calculus
$v
Congresses.
$3
787048
655
4
$a
Electronic books.
$2
local
$3
554714
700
1
$a
Maaren, Hans van.
$3
1427719
700
1
$a
Heule, Marijn,
$d
1979-
$3
1427718
700
1
$a
Biere, Armin.
$3
1077680
830
0
$a
Frontiers in artificial intelligence and applications ;
$v
v. 207.
$3
805633
856
4 0
$u
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781643681603
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入