Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1988
|
| Schriftenreihe: | Informatik-Fachberichte
199 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die erste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veröffentlichungen überschrieben hat: "If PROLOG is the answer, what is the question?". Sie sollte mir die vergangenen drei Jahre nicht mehr aus dem Kopf gehen. Heute möchte ich die Frage erweitern: " . . . and given the question, is PROLOG the answer?". Die zweite Provokation hängt mit J. deKleers Assumption Based Truth Maintenance System (ATMS) zusammen, genauer mit der Frage, welche Rolle ein derartiges Truth-Maintenance-System in einem Logik Programmiersystem spielen konnte. DeKleer selbst schätzt diese Rolle in persönlichen Äußerungen relativ gering ein. Aus heutiger Sicht gebe ich deKleer zugleich recht und unrecht - recht, wenn er unter Logik-Programmierung im wesentlichen PROLOG versteht, und unrecht, wenn der Begriff weiter gefaßt wird. Trotz oder gerade aufgrund der provokanten Form der beiden erwähnten Aussagen waren deKleer und Bobrow von zentraler Bedeutung für diese Arbeit. Ihnen gilt deshalb mein erster Dank. Sodann möchte ich Herrn Prof. Dr. G. Nees danken, der meinen wissenschaftlichen Werdegang seit meiner Studienzeit kritisch und wohlwollend begleitet hat. Nicht zuletzt seiner Fürsprache ist es zuzuschreiben, daß die vorliegende Arbeit durch ein Promotionsstipendium der SIEMENS-AG, das Ernst-von-Siemens Stipendium, gefördert wurde. Ohne den damit verbundenen finanziellen Spielraum hätten viele wertvolle Gespräche mit ausländischen Kollegen auf Tagungen und Studienreisen nicht stattfinden können. Besonderer Dank gebührt auch meinem Doktorvater Prof. Dr. H. Wedekind |
| Beschreibung: | 1 Online-Ressource (IX, 246S. 246 Abb) |
| ISBN: | 9783642744037 9783540507208 |
| ISSN: | 0343-3005 |
| DOI: | 10.1007/978-3-642-74403-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042433052 | ||
| 003 | DE-604 | ||
| 005 | 20170720 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1988 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642744037 |c Online |9 978-3-642-74403-7 | ||
| 020 | |a 9783540507208 |c Print |9 978-3-540-50720-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-74403-7 |2 doi | |
| 035 | |a (OCoLC)863805900 | ||
| 035 | |a (DE-599)BVBBV042433052 | ||
| 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-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Beckstein, Clemens |d 1960- |e Verfasser |0 (DE-588)171970144 |4 aut | |
| 245 | 1 | 0 | |a Zur Logik der Logik-Programmierung |b Ein konstruktiver Ansatz |c von Clemens Beckstein |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1988 | |
| 300 | |a 1 Online-Ressource (IX, 246S. 246 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Informatik-Fachberichte |v 199 |x 0343-3005 | |
| 500 | |a Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die erste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veröffentlichungen überschrieben hat: "If PROLOG is the answer, what is the question?". Sie sollte mir die vergangenen drei Jahre nicht mehr aus dem Kopf gehen. Heute möchte ich die Frage erweitern: " . . . and given the question, is PROLOG the answer?". Die zweite Provokation hängt mit J. deKleers Assumption Based Truth Maintenance System (ATMS) zusammen, genauer mit der Frage, welche Rolle ein derartiges Truth-Maintenance-System in einem Logik Programmiersystem spielen konnte. DeKleer selbst schätzt diese Rolle in persönlichen Äußerungen relativ gering ein. Aus heutiger Sicht gebe ich deKleer zugleich recht und unrecht - recht, wenn er unter Logik-Programmierung im wesentlichen PROLOG versteht, und unrecht, wenn der Begriff weiter gefaßt wird. Trotz oder gerade aufgrund der provokanten Form der beiden erwähnten Aussagen waren deKleer und Bobrow von zentraler Bedeutung für diese Arbeit. Ihnen gilt deshalb mein erster Dank. Sodann möchte ich Herrn Prof. Dr. G. Nees danken, der meinen wissenschaftlichen Werdegang seit meiner Studienzeit kritisch und wohlwollend begleitet hat. Nicht zuletzt seiner Fürsprache ist es zuzuschreiben, daß die vorliegende Arbeit durch ein Promotionsstipendium der SIEMENS-AG, das Ernst-von-Siemens Stipendium, gefördert wurde. Ohne den damit verbundenen finanziellen Spielraum hätten viele wertvolle Gespräche mit ausländischen Kollegen auf Tagungen und Studienreisen nicht stattfinden können. Besonderer Dank gebührt auch meinem Doktorvater Prof. Dr. H. Wedekind | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a RISC |0 (DE-588)4191875-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a RISC |0 (DE-588)4191875-7 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 2 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 830 | 0 | |a Informatik-Fachberichte |v 199 |w (DE-604)BV000006843 |9 199 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-74403-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027868383 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804153117986521088 |
|---|---|
| any_adam_object | |
| author | Beckstein, Clemens 1960- |
| author_GND | (DE-588)171970144 |
| author_facet | Beckstein, Clemens 1960- |
| author_role | aut |
| author_sort | Beckstein, Clemens 1960- |
| author_variant | c b cb |
| building | Verbundindex |
| bvnumber | BV042433052 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863805900 (DE-599)BVBBV042433052 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-74403-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04308nmm a2200673zcb4500</leader><controlfield tag="001">BV042433052</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170720 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1988 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642744037</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-74403-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540507208</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-50720-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-74403-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863805900</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433052</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-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</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">Beckstein, Clemens</subfield><subfield code="d">1960-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)171970144</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Zur Logik der Logik-Programmierung</subfield><subfield code="b">Ein konstruktiver Ansatz</subfield><subfield code="c">von Clemens Beckstein</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 246S. 246 Abb)</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">199</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die erste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veröffentlichungen überschrieben hat: "If PROLOG is the answer, what is the question?". Sie sollte mir die vergangenen drei Jahre nicht mehr aus dem Kopf gehen. Heute möchte ich die Frage erweitern: " . . . and given the question, is PROLOG the answer?". Die zweite Provokation hängt mit J. deKleers Assumption Based Truth Maintenance System (ATMS) zusammen, genauer mit der Frage, welche Rolle ein derartiges Truth-Maintenance-System in einem Logik Programmiersystem spielen konnte. DeKleer selbst schätzt diese Rolle in persönlichen Äußerungen relativ gering ein. Aus heutiger Sicht gebe ich deKleer zugleich recht und unrecht - recht, wenn er unter Logik-Programmierung im wesentlichen PROLOG versteht, und unrecht, wenn der Begriff weiter gefaßt wird. Trotz oder gerade aufgrund der provokanten Form der beiden erwähnten Aussagen waren deKleer und Bobrow von zentraler Bedeutung für diese Arbeit. Ihnen gilt deshalb mein erster Dank. Sodann möchte ich Herrn Prof. Dr. G. Nees danken, der meinen wissenschaftlichen Werdegang seit meiner Studienzeit kritisch und wohlwollend begleitet hat. Nicht zuletzt seiner Fürsprache ist es zuzuschreiben, daß die vorliegende Arbeit durch ein Promotionsstipendium der SIEMENS-AG, das Ernst-von-Siemens Stipendium, gefördert wurde. Ohne den damit verbundenen finanziellen Spielraum hätten viele wertvolle Gespräche mit ausländischen Kollegen auf Tagungen und Studienreisen nicht stattfinden können. Besonderer Dank gebührt auch meinem Doktorvater Prof. Dr. H. Wedekind</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</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">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">RISC</subfield><subfield code="0">(DE-588)4191875-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">RISC</subfield><subfield code="0">(DE-588)4191875-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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="830" ind1=" " ind2="0"><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">199</subfield><subfield code="w">(DE-604)BV000006843</subfield><subfield code="9">199</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-74403-7</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868383</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></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042433052 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:31Z |
| institution | BVB |
| isbn | 9783642744037 9783540507208 |
| issn | 0343-3005 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868383 |
| oclc_num | 863805900 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (IX, 246S. 246 Abb) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series | Informatik-Fachberichte |
| series2 | Informatik-Fachberichte |
| spelling | Beckstein, Clemens 1960- Verfasser (DE-588)171970144 aut Zur Logik der Logik-Programmierung Ein konstruktiver Ansatz von Clemens Beckstein Berlin, Heidelberg Springer Berlin Heidelberg 1988 1 Online-Ressource (IX, 246S. 246 Abb) txt rdacontent c rdamedia cr rdacarrier Informatik-Fachberichte 199 0343-3005 Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die erste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veröffentlichungen überschrieben hat: "If PROLOG is the answer, what is the question?". Sie sollte mir die vergangenen drei Jahre nicht mehr aus dem Kopf gehen. Heute möchte ich die Frage erweitern: " . . . and given the question, is PROLOG the answer?". Die zweite Provokation hängt mit J. deKleers Assumption Based Truth Maintenance System (ATMS) zusammen, genauer mit der Frage, welche Rolle ein derartiges Truth-Maintenance-System in einem Logik Programmiersystem spielen konnte. DeKleer selbst schätzt diese Rolle in persönlichen Äußerungen relativ gering ein. Aus heutiger Sicht gebe ich deKleer zugleich recht und unrecht - recht, wenn er unter Logik-Programmierung im wesentlichen PROLOG versteht, und unrecht, wenn der Begriff weiter gefaßt wird. Trotz oder gerade aufgrund der provokanten Form der beiden erwähnten Aussagen waren deKleer und Bobrow von zentraler Bedeutung für diese Arbeit. Ihnen gilt deshalb mein erster Dank. Sodann möchte ich Herrn Prof. Dr. G. Nees danken, der meinen wissenschaftlichen Werdegang seit meiner Studienzeit kritisch und wohlwollend begleitet hat. Nicht zuletzt seiner Fürsprache ist es zuzuschreiben, daß die vorliegende Arbeit durch ein Promotionsstipendium der SIEMENS-AG, das Ernst-von-Siemens Stipendium, gefördert wurde. Ohne den damit verbundenen finanziellen Spielraum hätten viele wertvolle Gespräche mit ausländischen Kollegen auf Tagungen und Studienreisen nicht stattfinden können. Besonderer Dank gebührt auch meinem Doktorvater Prof. Dr. H. Wedekind Computer science Artificial intelligence Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Programming Techniques Mathematical Logic and Foundations Informatik Künstliche Intelligenz Logische Programmierung (DE-588)4195096-3 gnd rswk-swf RISC (DE-588)4191875-7 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content RISC (DE-588)4191875-7 s Logik (DE-588)4036202-4 s Programmierung (DE-588)4076370-5 s 2\p DE-604 Logische Programmierung (DE-588)4195096-3 s 3\p DE-604 Informatik-Fachberichte 199 (DE-604)BV000006843 199 https://doi.org/10.1007/978-3-642-74403-7 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 |
| spellingShingle | Beckstein, Clemens 1960- Zur Logik der Logik-Programmierung Ein konstruktiver Ansatz Informatik-Fachberichte Computer science Artificial intelligence Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Programming Techniques Mathematical Logic and Foundations Informatik Künstliche Intelligenz Logische Programmierung (DE-588)4195096-3 gnd RISC (DE-588)4191875-7 gnd Programmierung (DE-588)4076370-5 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4191875-7 (DE-588)4076370-5 (DE-588)4036202-4 (DE-588)4113937-9 |
| title | Zur Logik der Logik-Programmierung Ein konstruktiver Ansatz |
| title_auth | Zur Logik der Logik-Programmierung Ein konstruktiver Ansatz |
| title_exact_search | Zur Logik der Logik-Programmierung Ein konstruktiver Ansatz |
| title_full | Zur Logik der Logik-Programmierung Ein konstruktiver Ansatz von Clemens Beckstein |
| title_fullStr | Zur Logik der Logik-Programmierung Ein konstruktiver Ansatz von Clemens Beckstein |
| title_full_unstemmed | Zur Logik der Logik-Programmierung Ein konstruktiver Ansatz von Clemens Beckstein |
| title_short | Zur Logik der Logik-Programmierung |
| title_sort | zur logik der logik programmierung ein konstruktiver ansatz |
| title_sub | Ein konstruktiver Ansatz |
| topic | Computer science Artificial intelligence Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Programming Techniques Mathematical Logic and Foundations Informatik Künstliche Intelligenz Logische Programmierung (DE-588)4195096-3 gnd RISC (DE-588)4191875-7 gnd Programmierung (DE-588)4076370-5 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Computer science Artificial intelligence Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Programming Techniques Mathematical Logic and Foundations Informatik Künstliche Intelligenz Logische Programmierung RISC Programmierung Logik Hochschulschrift |
| url | https://doi.org/10.1007/978-3-642-74403-7 |
| volume_link | (DE-604)BV000006843 |
| work_keys_str_mv | AT becksteinclemens zurlogikderlogikprogrammierungeinkonstruktiveransatz |