Handbook of satisfiability
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam ; Washington, DC :
IOS Press,
c2009.
|
| Series: | Frontiers in artificial intelligence and applications ;
v. 185. |
| Subjects: | |
| Online Access: | NetLibrary ebrary An electronic book accessible through the World Wide Web; click for information Click here to view book |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 42571 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241219003854.0 | ||
| 006 | m d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 110210s2009 ne a ob 101 0 eng d | ||
| 019 | |a 491253312 | ||
| 020 | |a 9781441616784 (electronic bk.) | ||
| 020 | |a 1441616780 (electronic bk.) | ||
| 020 | |a 9781607503767 (ebook) | ||
| 020 | |a 160750376X (ebook) | ||
| 020 | |z 9781586039295 | ||
| 020 | |z 1586039296 | ||
| 035 | |a (OCoLC)430355954 | ||
| 035 | |a (OCoLC)ocn430355954 | ||
| 037 | |a 978-1-58603-929-5 |b IOS Press |n http://www.iospress.nl | ||
| 039 | 9 | |y 201102101522 |z wafi | |
| 040 | |a N$T |b eng |c N$T |d OCLCQ |d OSU |d IOSPR |d YDXCP |d EBLCP | ||
| 049 | |a MHEA | ||
| 050 | 4 | |a QA9.3 |b .H36 2009eb | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 245 | 0 | 0 | |a Handbook of satisfiability |h [electronic resource] / |c edited by Armin Biere ... [et al.]. |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS Press, |c c2009. | ||
| 300 | |a 1 online resource (xiii, 966 p.) : |b ill. | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications, |x 0922-6389 ; |v v. 185 | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | |a Description based on print version record. | ||
| 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. | |
| 776 | 0 | 8 | |i Print version: |t Handbook of satisfiability. |d Amsterdam, the Netherlands ; Washington, DC : IOS Press, c2009 |z 9781586039295 |z 1586039296 |w (OCoLC)290492523 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 185. | |
| 856 | 4 | 0 | |3 NetLibrary |u http://www.netlibrary.com/urlapi.asp?action=summary&v=1&bookid=281413 |
| 856 | 4 | 0 | |3 ebrary |u http://site.ebrary.com/lib/librarytitles/docDetail.action?docID=10309230 |
| 856 | 4 | 0 | |u http://www.booksonline.iospress.nl/extern/enterbookseriesbook.aspx?ISBN=978-1-58603-929-5 |z An electronic book accessible through the World Wide Web; click for information |
| 856 | 4 | 0 | |z Click here to view book |u http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448770 |
| 938 | |a YBP Library Services |b YANK |n 3317145 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL448770 | ||
| 994 | |a 92 |b MYMHE | ||
| 999 | |a vtls000043170 |c 42571 |d 42571 | ||