Logic for computer science: foundations of automatic theorem proving
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Mineola, New York
Dover Publications, Inc.
2017
|
| Ausgabe: | Second edition |
| Schriftenreihe: | Dover books on mathematics
|
| Schlagworte: | |
| Beschreibung: | "This Dover edition, first published in 2015, is an unabridged republication of the revised 2003 online edition of the work originally published by Harper & Row, New York, in 1986. A new Preface to the Dover Edition has been specially prepared for this volume.". - Includes bibliographical references and index |
| Beschreibung: | xxiii, 496 Seiten 24 cm |
| ISBN: | 9780486780825 0486780821 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV045085269 | ||
| 003 | DE-604 | ||
| 005 | 20210622 | ||
| 007 | t | ||
| 008 | 180712s2017 xxu |||| 00||| eng d | ||
| 010 | |a 014048078 | ||
| 020 | |a 9780486780825 |c paperback |9 978-0-486-78082-5 | ||
| 020 | |a 0486780821 |9 0-486-78082-1 | ||
| 035 | |a (OCoLC)1047452303 | ||
| 035 | |a (DE-599)BVBBV045085269 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-523 |a DE-706 | ||
| 050 | 0 | |a QA76.9.A96 | |
| 082 | 0 | |a 511.3/6028563 |2 23 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Gallier, Jean H. |d 1949- |e Verfasser |0 (DE-588)122585615 |4 aut | |
| 245 | 1 | 0 | |a Logic for computer science |b foundations of automatic theorem proving |c Jean H. Gallier, Department of Computer and Information Science, University of Pennsylvania |
| 250 | |a Second edition | ||
| 264 | 1 | |a Mineola, New York |b Dover Publications, Inc. |c 2017 | |
| 300 | |a xxiii, 496 Seiten |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Dover books on mathematics | |
| 500 | |a "This Dover edition, first published in 2015, is an unabridged republication of the revised 2003 online edition of the work originally published by Harper & Row, New York, in 1986. A new Preface to the Dover Edition has been specially prepared for this volume.". - Includes bibliographical references and index | ||
| 650 | 4 | |a MATHEMATICS / Logic / bisacsh | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a MATHEMATICS / Logic | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030476173 | ||
Datensatz im Suchindex
| _version_ | 1804178703951855616 |
|---|---|
| any_adam_object | |
| author | Gallier, Jean H. 1949- |
| author_GND | (DE-588)122585615 |
| author_facet | Gallier, Jean H. 1949- |
| author_role | aut |
| author_sort | Gallier, Jean H. 1949- |
| author_variant | j h g jh jhg |
| building | Verbundindex |
| bvnumber | BV045085269 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96 |
| callnumber-search | QA76.9.A96 |
| callnumber-sort | QA 276.9 A96 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)1047452303 (DE-599)BVBBV045085269 |
| dewey-full | 511.3/6028563 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/6028563 |
| dewey-search | 511.3/6028563 |
| dewey-sort | 3511.3 76028563 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | Second edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01980nam a2200481 c 4500</leader><controlfield tag="001">BV045085269</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210622 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">180712s2017 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">014048078</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780486780825</subfield><subfield code="c">paperback</subfield><subfield code="9">978-0-486-78082-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0486780821</subfield><subfield code="9">0-486-78082-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1047452303</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045085269</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-523</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6028563</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gallier, Jean H.</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122585615</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for computer science</subfield><subfield code="b">foundations of automatic theorem proving</subfield><subfield code="c">Jean H. Gallier, Department of Computer and Information Science, University of Pennsylvania</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Mineola, New York</subfield><subfield code="b">Dover Publications, Inc.</subfield><subfield code="c">2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxiii, 496 Seiten</subfield><subfield code="c">24 cm</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="0" ind2=" "><subfield code="a">Dover books on mathematics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"This Dover edition, first published in 2015, is an unabridged republication of the revised 2003 online edition of the work originally published by Harper & Row, New York, in 1986. A new Preface to the Dover Edition has been specially prepared for this volume.". - Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">MATHEMATICS / Logic / bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">MATHEMATICS / Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030476173</subfield></datafield></record></collection> |
| id | DE-604.BV045085269 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:08:12Z |
| institution | BVB |
| isbn | 9780486780825 0486780821 |
| language | English |
| lccn | 014048078 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030476173 |
| oclc_num | 1047452303 |
| open_access_boolean | |
| owner | DE-523 DE-706 |
| owner_facet | DE-523 DE-706 |
| physical | xxiii, 496 Seiten 24 cm |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Dover Publications, Inc. |
| record_format | marc |
| series2 | Dover books on mathematics |
| spelling | Gallier, Jean H. 1949- Verfasser (DE-588)122585615 aut Logic for computer science foundations of automatic theorem proving Jean H. Gallier, Department of Computer and Information Science, University of Pennsylvania Second edition Mineola, New York Dover Publications, Inc. 2017 xxiii, 496 Seiten 24 cm txt rdacontent n rdamedia nc rdacarrier Dover books on mathematics "This Dover edition, first published in 2015, is an unabridged republication of the revised 2003 online edition of the work originally published by Harper & Row, New York, in 1986. A new Preface to the Dover Edition has been specially prepared for this volume.". - Includes bibliographical references and index MATHEMATICS / Logic / bisacsh Automatic theorem proving Logic, Symbolic and mathematical MATHEMATICS / Logic Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s |
| spellingShingle | Gallier, Jean H. 1949- Logic for computer science foundations of automatic theorem proving MATHEMATICS / Logic / bisacsh Automatic theorem proving Logic, Symbolic and mathematical MATHEMATICS / Logic Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4037951-6 |
| title | Logic for computer science foundations of automatic theorem proving |
| title_auth | Logic for computer science foundations of automatic theorem proving |
| title_exact_search | Logic for computer science foundations of automatic theorem proving |
| title_full | Logic for computer science foundations of automatic theorem proving Jean H. Gallier, Department of Computer and Information Science, University of Pennsylvania |
| title_fullStr | Logic for computer science foundations of automatic theorem proving Jean H. Gallier, Department of Computer and Information Science, University of Pennsylvania |
| title_full_unstemmed | Logic for computer science foundations of automatic theorem proving Jean H. Gallier, Department of Computer and Information Science, University of Pennsylvania |
| title_short | Logic for computer science |
| title_sort | logic for computer science foundations of automatic theorem proving |
| title_sub | foundations of automatic theorem proving |
| topic | MATHEMATICS / Logic / bisacsh Automatic theorem proving Logic, Symbolic and mathematical MATHEMATICS / Logic Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | MATHEMATICS / Logic / bisacsh Automatic theorem proving Logic, Symbolic and mathematical MATHEMATICS / Logic Automatisches Beweisverfahren Mathematische Logik |
| work_keys_str_mv | AT gallierjeanh logicforcomputersciencefoundationsofautomatictheoremproving |