Handbook of satisfiability
Saved in:
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam
IOS Press
c2009
|
| Series: | Frontiers in artificial intelligence and applications ;
v. 185. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000cam a2200000za 4500 | ||
|---|---|---|---|
| 001 | 45178 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241219004543.0 | ||
| 008 | 111229s2009 ne a obi 001 0 eng d | ||
| 020 | |z 9781586039295 | ||
| 039 | 9 | |y 201112290823 |z azraai | |
| 090 | |a QA9.3 |b .H36 2009 | ||
| 245 | 0 | 0 | |a Handbook of satisfiability |c edited by Armin Biere ... [et al.] |
| 260 | |a Amsterdam |b IOS Press |c c2009 | ||
| 300 | |a xiii, 966 p. |b ill. |c 25 cm. | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications, |x 0922-6389 ; |v v. 185 | |
| 504 | |a Includes bibliographical references and indexes | ||
| 592 | |a 07199 |b 27/05/2010 |c RM752.55 |c Intrabakti | ||
| 650 | 0 | |a Propositional calculus |v Congresses. | |
| 650 | 0 | |a Decision making |v Congresses. | |
| 650 | 0 | |a Computer algorithms |v Congresses. | |
| 650 | 0 | |a Algebra, Boolean |v Congresses. | |
| 655 | 0 | |a Electronic books. | |
| 655 | 7 | |a Electronic books. |2 local | |
| 700 | 1 | |a Biere, Armin. | |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 185. | |
| 999 | |a vtls000046175 |c 45178 |d 45178 | ||