Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Handbook of satisfiability
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Handbook of satisfiability/ editors: Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh.
other author:
Biere, Armin.
Published:
Amsterdam :IOS Press, : 2021.,
Description:
1 online resource :ill. :
Subject:
Propositional calculus - Congresses. -
Online resource:
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:
787048
Propositional calculus
--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
Propositional calculus
$v
Congresses.
$3
787048
650
0
$a
Decision making
$v
Encyclopedias.
$3
660125
$3
731058
650
0
$a
Computer algorithms
$v
Congresses.
$3
528474
655
4
$a
Electronic books.
$2
local
$3
554714
700
1
$a
Biere, Armin.
$3
1077680
700
1
$a
Heule, Marijn,
$d
1979-
$3
1427718
700
1
$a
Maaren, Hans van.
$3
1427719
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
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login