Handbook of satisfiability

Handbook of satisfiability / edited by Armin Biere ... [et al.].

Saved in:
Bibliographic Details
Superior document:Frontiers in artificial intelligence and applications, v. 185
:
ProQuest (Firm)
TeilnehmendeR:
Biere, Armin.
ProQuest (Firm)
Year of Publication:2009
Language:English
Series:Frontiers in artificial intelligence and applications ; v. 185.
Online Access:
Physical Description:xiii, 966 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500448770
ctrlnum (MiAaPQ)500448770
(Au-PeEL)EBL448770
(CaPaEBR)ebr10309230
(CaONFJC)MIL577647
(OCoLC)935268045
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01523nam a2200385Ia 4500</leader><controlfield tag="001">500448770</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">081220s2009 ne a sb 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781586039295</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586039296</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500448770</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL448770</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10309230</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL577647</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)935268045</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.3</subfield><subfield code="b">.H36 2009</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Handbook of satisfiability</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">edited by Armin Biere ... [et al.].</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam, The Netherlands ;</subfield><subfield code="a">Washington, DC :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">c2009.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 966 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications,</subfield><subfield code="x">0922-6389 ;</subfield><subfield code="v">v. 185</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Propositional calculus</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Decision making</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer algorithms</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Algebra, Boolean</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Biere, Armin.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 185.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=448770</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.].
Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
xiii, 966 p. : ill.
Frontiers in artificial intelligence and applications, 0922-6389 ; v. 185
Includes bibliographical references and indexes.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Propositional calculus Congresses.
Decision making Congresses.
Computer algorithms Congresses.
Algebra, Boolean Congresses.
Electronic books.
Biere, Armin.
ProQuest (Firm)
Frontiers in artificial intelligence and applications ; v. 185.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=448770 Click to View
language English
format Electronic
eBook
author2 Biere, Armin.
ProQuest (Firm)
author_facet Biere, Armin.
ProQuest (Firm)
ProQuest (Firm)
author2_variant a b ab
author2_role TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Biere, Armin.
title Handbook of satisfiability
spellingShingle Handbook of satisfiability
Frontiers in artificial intelligence and applications,
title_full Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.].
title_fullStr Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.].
title_full_unstemmed Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.].
title_auth Handbook of satisfiability
title_new Handbook of satisfiability
title_sort handbook of satisfiability
series Frontiers in artificial intelligence and applications,
series2 Frontiers in artificial intelligence and applications,
publisher IOS Press,
publishDate 2009
physical xiii, 966 p. : ill.
issn 0922-6389 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.3 H36 42009
genre Electronic books.
genre_facet Congresses.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=448770
illustrated Illustrated
oclc_num 935268045
work_keys_str_mv AT bierearmin handbookofsatisfiability
AT proquestfirm handbookofsatisfiability
status_str n
ids_txt_mv (MiAaPQ)500448770
(Au-PeEL)EBL448770
(CaPaEBR)ebr10309230
(CaONFJC)MIL577647
(OCoLC)935268045
hierarchy_parent_title Frontiers in artificial intelligence and applications, v. 185
hierarchy_sequence v. 185.
is_hierarchy_title Handbook of satisfiability
container_title Frontiers in artificial intelligence and applications, v. 185
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1792330692394221569

Similar Items