Automatische Synthese rekursiver Programme als Beweisverfahren:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1992
|
| Series: | Informatik-Fachberichte
302 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch geführt werden können. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefaßt werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseprozeß gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle Transformationsregeln sowie Strategien und Heuristiken, die die Beweissuche steuern. Sie werden anhand vieler Beispiele ausführlich diskutiert. Obwohl die hier beschriebene Methode in erster Linie zur Automatisierung von Existenzbeweisen entwickelt worden ist, und der Aspekt der automatischen Softwareentwicklung eher im Hintergrund steht, motivieren zahlreiche Beispiele dazu, das Verfahren auch für diesen Zweck einzusetzen |
| Physical Description: | 1 Online-Ressource (VIII, 259S.) |
| ISBN: | 9783642847448 9783540553007 |
| ISSN: | 0343-3005 |
| DOI: | 10.1007/978-3-642-84744-8 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042433688 | ||
| 003 | DE-604 | ||
| 005 | 20210624 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1992 xx o|||| 00||| ger d | ||
| 020 | |a 9783642847448 |c Online |9 978-3-642-84744-8 | ||
| 020 | |a 9783540553007 |c Print |9 978-3-540-55300-7 | ||
| 024 | 7 | |a 10.1007/978-3-642-84744-8 |2 doi | |
| 035 | |a (OCoLC)863856624 | ||
| 035 | |a (DE-599)BVBBV042433688 | ||
| 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 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1015113 |2 23 | |
| 082 | 0 | |a 005.73 | |
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 706d |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Biundo-Stephan, Susanne |d 1955- |e Verfasser |0 (DE-588)122184785 |4 aut | |
| 245 | 1 | 0 | |a Automatische Synthese rekursiver Programme als Beweisverfahren |c von Susanne Biundo |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1992 | |
| 300 | |a 1 Online-Ressource (VIII, 259S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Informatik-Fachberichte |v 302 |x 0343-3005 | |
| 500 | |a In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch geführt werden können. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefaßt werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseprozeß gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle Transformationsregeln sowie Strategien und Heuristiken, die die Beweissuche steuern. Sie werden anhand vieler Beispiele ausführlich diskutiert. Obwohl die hier beschriebene Methode in erster Linie zur Automatisierung von Existenzbeweisen entwickelt worden ist, und der Aspekt der automatischen Softwareentwicklung eher im Hintergrund steht, motivieren zahlreiche Beispiele dazu, das Verfahren auch für diesen Zweck einzusetzen | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Automatic programming (Computer science) | |
| 650 | 0 | 7 | |a Induktionsbeweis |0 (DE-588)4222014-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |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 Programmsynthese |0 (DE-588)4295513-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automation |0 (DE-588)4003957-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Existenzaussage |0 (DE-588)4153313-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Existenzaussage |0 (DE-588)4153313-6 |D s |
| 689 | 0 | 1 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | 2 | |a Induktionsbeweis |0 (DE-588)4222014-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmsynthese |0 (DE-588)4295513-0 |D s |
| 689 | 1 | 1 | |a Existenzaussage |0 (DE-588)4153313-6 |D s |
| 689 | 1 | 2 | |a Induktionsbeweis |0 (DE-588)4222014-2 |D s |
| 689 | 1 | 3 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Induktionsbeweis |0 (DE-588)4222014-2 |D s |
| 689 | 2 | 1 | |a Automation |0 (DE-588)4003957-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 3 | 1 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 3 | 2 | |a Induktionsbeweis |0 (DE-588)4222014-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 830 | 0 | |a Informatik-Fachberichte |v 302 |w (DE-604)BV000006843 |9 302 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-84744-8 |x Verlag |3 Volltext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-2-STI | ||
| 912 | |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027869018 | |
Record in the Search Index
| _version_ | 1820875940284071936 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Biundo-Stephan, Susanne 1955- |
| author_GND | (DE-588)122184785 |
| author_facet | Biundo-Stephan, Susanne 1955- |
| author_role | aut |
| author_sort | Biundo-Stephan, Susanne 1955- |
| author_variant | s b s sbs |
| building | Verbundindex |
| bvnumber | BV042433688 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 233 |
| classification_tum | TEC 000 DAT 706d DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863856624 (DE-599)BVBBV042433688 |
| dewey-full | 005.1015113 005.73 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 005.73 |
| dewey-search | 005.1015113 005.73 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-84744-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042433688</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210624</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1992 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642847448</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-84744-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540553007</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-55300-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-84744-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863856624</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433688</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="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.73</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</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 706d</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">Biundo-Stephan, Susanne</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122184785</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automatische Synthese rekursiver Programme als Beweisverfahren</subfield><subfield code="c">von Susanne Biundo</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 259S.)</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="490" ind1="1" ind2=" "><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">302</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch geführt werden können. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefaßt werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseprozeß gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle Transformationsregeln sowie Strategien und Heuristiken, die die Beweissuche steuern. Sie werden anhand vieler Beispiele ausführlich diskutiert. Obwohl die hier beschriebene Methode in erster Linie zur Automatisierung von Existenzbeweisen entwickelt worden ist, und der Aspekt der automatischen Softwareentwicklung eher im Hintergrund steht, motivieren zahlreiche Beispiele dazu, das Verfahren auch für diesen Zweck einzusetzen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic programming (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Induktionsbeweis</subfield><subfield code="0">(DE-588)4222014-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automation</subfield><subfield code="0">(DE-588)4003957-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Existenzaussage</subfield><subfield code="0">(DE-588)4153313-6</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)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Existenzaussage</subfield><subfield code="0">(DE-588)4153313-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Induktionsbeweis</subfield><subfield code="0">(DE-588)4222014-2</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">Programmsynthese</subfield><subfield code="0">(DE-588)4295513-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Existenzaussage</subfield><subfield code="0">(DE-588)4153313-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Induktionsbeweis</subfield><subfield code="0">(DE-588)4222014-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><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="689" ind1="2" ind2="0"><subfield code="a">Induktionsbeweis</subfield><subfield code="0">(DE-588)4222014-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Automation</subfield><subfield code="0">(DE-588)4003957-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Induktionsbeweis</subfield><subfield code="0">(DE-588)4222014-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">302</subfield><subfield code="w">(DE-604)BV000006843</subfield><subfield code="9">302</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-84744-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027869018</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042433688 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:23:37Z |
| institution | BVB |
| isbn | 9783642847448 9783540553007 |
| issn | 0343-3005 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027869018 |
| oclc_num | 863856624 |
| 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 (VIII, 259S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series | Informatik-Fachberichte |
| series2 | Informatik-Fachberichte |
| spelling | Biundo-Stephan, Susanne 1955- Verfasser (DE-588)122184785 aut Automatische Synthese rekursiver Programme als Beweisverfahren von Susanne Biundo Berlin, Heidelberg Springer Berlin Heidelberg 1992 1 Online-Ressource (VIII, 259S.) txt rdacontent c rdamedia cr rdacarrier Informatik-Fachberichte 302 0343-3005 In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch geführt werden können. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefaßt werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseprozeß gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle Transformationsregeln sowie Strategien und Heuristiken, die die Beweissuche steuern. Sie werden anhand vieler Beispiele ausführlich diskutiert. Obwohl die hier beschriebene Methode in erster Linie zur Automatisierung von Existenzbeweisen entwickelt worden ist, und der Aspekt der automatischen Softwareentwicklung eher im Hintergrund steht, motivieren zahlreiche Beispiele dazu, das Verfahren auch für diesen Zweck einzusetzen Computer science Logic design Computer Science Logics and Meanings of Programs Informatik Automatic programming (Computer science) Induktionsbeweis (DE-588)4222014-2 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Programmsynthese (DE-588)4295513-0 gnd rswk-swf Automation (DE-588)4003957-2 gnd rswk-swf Existenzaussage (DE-588)4153313-6 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Existenzaussage (DE-588)4153313-6 s Automatisches Beweisverfahren (DE-588)4069034-9 s Induktionsbeweis (DE-588)4222014-2 s DE-604 Programmsynthese (DE-588)4295513-0 s Automation (DE-588)4003957-2 s Programmverifikation (DE-588)4135576-3 s Informatik-Fachberichte 302 (DE-604)BV000006843 302 https://doi.org/10.1007/978-3-642-84744-8 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Biundo-Stephan, Susanne 1955- Automatische Synthese rekursiver Programme als Beweisverfahren Informatik-Fachberichte Computer science Logic design Computer Science Logics and Meanings of Programs Informatik Automatic programming (Computer science) Induktionsbeweis (DE-588)4222014-2 gnd Programmverifikation (DE-588)4135576-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Programmsynthese (DE-588)4295513-0 gnd Automation (DE-588)4003957-2 gnd Existenzaussage (DE-588)4153313-6 gnd |
| subject_GND | (DE-588)4222014-2 (DE-588)4135576-3 (DE-588)4069034-9 (DE-588)4295513-0 (DE-588)4003957-2 (DE-588)4153313-6 (DE-588)4113937-9 |
| title | Automatische Synthese rekursiver Programme als Beweisverfahren |
| title_auth | Automatische Synthese rekursiver Programme als Beweisverfahren |
| title_exact_search | Automatische Synthese rekursiver Programme als Beweisverfahren |
| title_full | Automatische Synthese rekursiver Programme als Beweisverfahren von Susanne Biundo |
| title_fullStr | Automatische Synthese rekursiver Programme als Beweisverfahren von Susanne Biundo |
| title_full_unstemmed | Automatische Synthese rekursiver Programme als Beweisverfahren von Susanne Biundo |
| title_short | Automatische Synthese rekursiver Programme als Beweisverfahren |
| title_sort | automatische synthese rekursiver programme als beweisverfahren |
| topic | Computer science Logic design Computer Science Logics and Meanings of Programs Informatik Automatic programming (Computer science) Induktionsbeweis (DE-588)4222014-2 gnd Programmverifikation (DE-588)4135576-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Programmsynthese (DE-588)4295513-0 gnd Automation (DE-588)4003957-2 gnd Existenzaussage (DE-588)4153313-6 gnd |
| topic_facet | Computer science Logic design Computer Science Logics and Meanings of Programs Informatik Automatic programming (Computer science) Induktionsbeweis Programmverifikation Automatisches Beweisverfahren Programmsynthese Automation Existenzaussage Hochschulschrift |
| url | https://doi.org/10.1007/978-3-642-84744-8 |
| volume_link | (DE-604)BV000006843 |
| work_keys_str_mv | AT biundostephansusanne automatischesyntheserekursiverprogrammealsbeweisverfahren |