Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Wiesbaden
Vieweg+Teubner Verlag
1991
|
| Edition: | 2., verbesserte Auflage |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universität Berlin unter dem Namen "LOGIK II für Informatiker: Grundlagen des maschinellen Beweisens" Bestandteil des Lehrangebots in Theoretischer Informatik und schließt direkt an die "LOGIK für Informatiker: Formalisieren und Beweisen" an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich für die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger Bücher in diesem Themenfeld - wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen - ist seit dem Beginn der 70er Jahre entstanden, u. a. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87/89] und Padawitz [Pad88]; in deutscher Sprache etwa Bläsius & Bürckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Ergänzung solcher Bücher für den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einführung in diese Thematik zu geben. Wir knüpfen an Grundkenntnisse der Logik an und stellen daher die später benötigten Begriffe in Kapitel 1 nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher Ableitungskalkül, der die Prädikatenlogik erster Stufe prinzipiell dem Rechner zugänglich macht |
| Physical Description: | 1 Online-Ressource (IX, 174 S.) |
| ISBN: | 9783663076810 9783528147181 |
| DOI: | 10.1007/978-3-663-07681-0 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042438526 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1991 |||| o||u| ||||||ger d | ||
| 020 | |a 9783663076810 |c Online |9 978-3-663-07681-0 | ||
| 020 | |a 9783528147181 |c Print |9 978-3-528-14718-1 | ||
| 024 | 7 | |a 10.1007/978-3-663-07681-0 |2 doi | |
| 035 | |a (OCoLC)863871254 | ||
| 035 | |a (DE-599)BVBBV042438526 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Hofbauer, Dieter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Grundlagen des maschinellen Beweisens |b Eine Einführung für Informatiker und Mathematiker |c von Dieter Hofbauer, Ralf-Detlef Kutsche |
| 250 | |a 2., verbesserte Auflage | ||
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1991 | |
| 300 | |a 1 Online-Ressource (IX, 174 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universität Berlin unter dem Namen "LOGIK II für Informatiker: Grundlagen des maschinellen Beweisens" Bestandteil des Lehrangebots in Theoretischer Informatik und schließt direkt an die "LOGIK für Informatiker: Formalisieren und Beweisen" an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich für die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger Bücher in diesem Themenfeld - wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen - ist seit dem Beginn der 70er Jahre entstanden, u. a. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87/89] und Padawitz [Pad88]; in deutscher Sprache etwa Bläsius & Bürckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Ergänzung solcher Bücher für den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einführung in diese Thematik zu geben. Wir knüpfen an Grundkenntnisse der Logik an und stellen daher die später benötigten Begriffe in Kapitel 1 nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher Ableitungskalkül, der die Prädikatenlogik erster Stufe prinzipiell dem Rechner zugänglich macht | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Kutsche, Ralf-Detlef |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-663-07681-0 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027873856 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153128502689792 |
|---|---|
| any_adam_object | |
| author | Hofbauer, Dieter |
| author_facet | Hofbauer, Dieter |
| author_role | aut |
| author_sort | Hofbauer, Dieter |
| author_variant | d h dh |
| building | Verbundindex |
| bvnumber | BV042438526 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863871254 (DE-599)BVBBV042438526 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-663-07681-0 |
| edition | 2., verbesserte Auflage |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04152nmm a2200637zc 4500</leader><controlfield tag="001">BV042438526</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1991 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783663076810</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-663-07681-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528147181</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-14718-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-663-07681-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863871254</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042438526</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hofbauer, Dieter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundlagen des maschinellen Beweisens</subfield><subfield code="b">Eine Einführung für Informatiker und Mathematiker</subfield><subfield code="c">von Dieter Hofbauer, Ralf-Detlef Kutsche</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., verbesserte Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 174 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universität Berlin unter dem Namen "LOGIK II für Informatiker: Grundlagen des maschinellen Beweisens" Bestandteil des Lehrangebots in Theoretischer Informatik und schließt direkt an die "LOGIK für Informatiker: Formalisieren und Beweisen" an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich für die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger Bücher in diesem Themenfeld - wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen - ist seit dem Beginn der 70er Jahre entstanden, u. a. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87/89] und Padawitz [Pad88]; in deutscher Sprache etwa Bläsius & Bürckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Ergänzung solcher Bücher für den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einführung in diese Thematik zu geben. Wir knüpfen an Grundkenntnisse der Logik an und stellen daher die später benötigten Begriffe in Kapitel 1 nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher Ableitungskalkül, der die Prädikatenlogik erster Stufe prinzipiell dem Rechner zugänglich macht</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kutsche, Ralf-Detlef</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-663-07681-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027873856</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042438526 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:41Z |
| institution | BVB |
| isbn | 9783663076810 9783528147181 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027873856 |
| oclc_num | 863871254 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (IX, 174 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| spelling | Hofbauer, Dieter Verfasser aut Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker von Dieter Hofbauer, Ralf-Detlef Kutsche 2., verbesserte Auflage Wiesbaden Vieweg+Teubner Verlag 1991 1 Online-Ressource (IX, 174 S.) txt rdacontent c rdamedia cr rdacarrier Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universität Berlin unter dem Namen "LOGIK II für Informatiker: Grundlagen des maschinellen Beweisens" Bestandteil des Lehrangebots in Theoretischer Informatik und schließt direkt an die "LOGIK für Informatiker: Formalisieren und Beweisen" an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich für die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger Bücher in diesem Themenfeld - wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen - ist seit dem Beginn der 70er Jahre entstanden, u. a. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87/89] und Padawitz [Pad88]; in deutscher Sprache etwa Bläsius & Bürckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Ergänzung solcher Bücher für den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einführung in diese Thematik zu geben. Wir knüpfen an Grundkenntnisse der Logik an und stellen daher die später benötigten Begriffe in Kapitel 1 nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher Ableitungskalkül, der die Prädikatenlogik erster Stufe prinzipiell dem Rechner zugänglich macht Engineering Engineering, general Ingenieurwissenschaften Logik (DE-588)4036202-4 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s Informatik (DE-588)4026894-9 s 2\p DE-604 Mathematik (DE-588)4037944-9 s 3\p DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s 4\p DE-604 Kutsche, Ralf-Detlef Sonstige oth https://doi.org/10.1007/978-3-663-07681-0 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hofbauer, Dieter Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker Engineering Engineering, general Ingenieurwissenschaften Logik (DE-588)4036202-4 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematik (DE-588)4037944-9 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4069034-9 (DE-588)4037944-9 (DE-588)4026894-9 (DE-588)4151278-9 |
| title | Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker |
| title_auth | Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker |
| title_exact_search | Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker |
| title_full | Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker von Dieter Hofbauer, Ralf-Detlef Kutsche |
| title_fullStr | Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker von Dieter Hofbauer, Ralf-Detlef Kutsche |
| title_full_unstemmed | Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker von Dieter Hofbauer, Ralf-Detlef Kutsche |
| title_short | Grundlagen des maschinellen Beweisens |
| title_sort | grundlagen des maschinellen beweisens eine einfuhrung fur informatiker und mathematiker |
| title_sub | Eine Einführung für Informatiker und Mathematiker |
| topic | Engineering Engineering, general Ingenieurwissenschaften Logik (DE-588)4036202-4 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematik (DE-588)4037944-9 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Logik Automatisches Beweisverfahren Mathematik Informatik Einführung |
| url | https://doi.org/10.1007/978-3-663-07681-0 |
| work_keys_str_mv | AT hofbauerdieter grundlagendesmaschinellenbeweisenseineeinfuhrungfurinformatikerundmathematiker AT kutscheralfdetlef grundlagendesmaschinellenbeweisenseineeinfuhrungfurinformatikerundmathematiker |