Satisfiability problem: theory and applications ; DIMACS workshop March 11 - 13, 1996
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Providence, RI
American Math. Soc.
1997
|
| Schriftenreihe: | Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science
35 |
| Schlagworte: | |
| Beschreibung: | XV, 724 S. graph. Darst. |
| ISBN: | 0821804790 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012284073 | ||
| 003 | DE-604 | ||
| 005 | 19981130 | ||
| 007 | t| | ||
| 008 | 981130s1997 xx d||| |||| 10||| eng d | ||
| 020 | |a 0821804790 |9 0-8218-0479-0 | ||
| 035 | |a (OCoLC)37180933 | ||
| 035 | |a (DE-599)BVBBV012284073 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 | ||
| 050 | 0 | |a QA9.3 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 245 | 1 | 0 | |a Satisfiability problem |b theory and applications ; DIMACS workshop March 11 - 13, 1996 |c NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science ... Dingzhu Du ... ed. |
| 264 | 1 | |a Providence, RI |b American Math. Soc. |c 1997 | |
| 300 | |a XV, 724 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science |v 35 | |
| 650 | 4 | |a Anneau Boole | |
| 650 | 7 | |a Contraintes (intelligence artificielle) |2 ram | |
| 650 | 7 | |a Mathématiques - Informatique - Congrès |2 ram | |
| 650 | 4 | |a Réseau cellulaire | |
| 650 | 7 | |a Résolution de problème - Informatique - Congrès |2 ram | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer algorithms |v Congresses | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Decision making |v Congresses | |
| 650 | 4 | |a Propositional calculus |v Congresses | |
| 650 | 0 | 7 | |a Erfüllbarkeitsproblem |0 (DE-588)4323820-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z New Brunswick NJ |2 gnd-content | |
| 689 | 0 | 0 | |a Erfüllbarkeitsproblem |0 (DE-588)4323820-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Du, Dingzhu |d 1948- |e Sonstige |0 (DE-588)1013682580 |4 oth | |
| 830 | 0 | |a Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science |v 35 |w (DE-604)BV004648770 |9 35 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008327960 | |
Datensatz im Suchindex
| _version_ | 1820868204546752512 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1013682580 |
| building | Verbundindex |
| bvnumber | BV012284073 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.3 |
| callnumber-search | QA9.3 |
| callnumber-sort | QA 19.3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1996 |
| ctrlnum | (OCoLC)37180933 (DE-599)BVBBV012284073 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV012284073</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981130</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">981130s1997 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821804790</subfield><subfield code="9">0-8218-0479-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37180933</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012284073</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Satisfiability problem</subfield><subfield code="b">theory and applications ; DIMACS workshop March 11 - 13, 1996</subfield><subfield code="c">NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science ... Dingzhu Du ... ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, RI</subfield><subfield code="b">American Math. Soc.</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 724 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science</subfield><subfield code="v">35</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Anneau Boole</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Contraintes (intelligence artificielle)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathématiques - Informatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Réseau cellulaire</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Résolution de problème - Informatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer algorithms</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decision making</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Propositional calculus</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erfüllbarkeitsproblem</subfield><subfield code="0">(DE-588)4323820-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">New Brunswick NJ</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Erfüllbarkeitsproblem</subfield><subfield code="0">(DE-588)4323820-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Du, Dingzhu</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1013682580</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science</subfield><subfield code="v">35</subfield><subfield code="w">(DE-604)BV004648770</subfield><subfield code="9">35</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008327960</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 New Brunswick NJ gnd-content |
| genre_facet | Konferenzschrift 1996 New Brunswick NJ |
| id | DE-604.BV012284073 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:39Z |
| institution | BVB |
| isbn | 0821804790 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008327960 |
| oclc_num | 37180933 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | XV, 724 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | American Math. Soc. |
| record_format | marc |
| series | Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science |
| series2 | Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science |
| spelling | Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science ... Dingzhu Du ... ed. Providence, RI American Math. Soc. 1997 XV, 724 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science 35 Anneau Boole Contraintes (intelligence artificielle) ram Mathématiques - Informatique - Congrès ram Réseau cellulaire Résolution de problème - Informatique - Congrès ram Informatik Computer algorithms Congresses Computer science Congresses Decision making Congresses Propositional calculus Congresses Erfüllbarkeitsproblem (DE-588)4323820-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 New Brunswick NJ gnd-content Erfüllbarkeitsproblem (DE-588)4323820-8 s DE-604 Du, Dingzhu 1948- Sonstige (DE-588)1013682580 oth Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science 35 (DE-604)BV004648770 35 |
| spellingShingle | Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science Anneau Boole Contraintes (intelligence artificielle) ram Mathématiques - Informatique - Congrès ram Réseau cellulaire Résolution de problème - Informatique - Congrès ram Informatik Computer algorithms Congresses Computer science Congresses Decision making Congresses Propositional calculus Congresses Erfüllbarkeitsproblem (DE-588)4323820-8 gnd |
| subject_GND | (DE-588)4323820-8 (DE-588)1071861417 |
| title | Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 |
| title_auth | Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 |
| title_exact_search | Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 |
| title_full | Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science ... Dingzhu Du ... ed. |
| title_fullStr | Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science ... Dingzhu Du ... ed. |
| title_full_unstemmed | Satisfiability problem theory and applications ; DIMACS workshop March 11 - 13, 1996 NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science ... Dingzhu Du ... ed. |
| title_short | Satisfiability problem |
| title_sort | satisfiability problem theory and applications dimacs workshop march 11 13 1996 |
| title_sub | theory and applications ; DIMACS workshop March 11 - 13, 1996 |
| topic | Anneau Boole Contraintes (intelligence artificielle) ram Mathématiques - Informatique - Congrès ram Réseau cellulaire Résolution de problème - Informatique - Congrès ram Informatik Computer algorithms Congresses Computer science Congresses Decision making Congresses Propositional calculus Congresses Erfüllbarkeitsproblem (DE-588)4323820-8 gnd |
| topic_facet | Anneau Boole Contraintes (intelligence artificielle) Mathématiques - Informatique - Congrès Réseau cellulaire Résolution de problème - Informatique - Congrès Informatik Computer algorithms Congresses Computer science Congresses Decision making Congresses Propositional calculus Congresses Erfüllbarkeitsproblem Konferenzschrift 1996 New Brunswick NJ |
| volume_link | (DE-604)BV004648770 |
| work_keys_str_mv | AT dudingzhu satisfiabilityproblemtheoryandapplicationsdimacsworkshopmarch11131996 |