Logische und Funktionale Programmierung: Grundlagen einer Kombination
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Wiesbaden
Vieweg+Teubner Verlag
1991
|
| Series: | Artificial Intelligence / Künstliche Intelligenz
|
| Subjects: | |
| Links: | https://doi.org/10.1007/978-3-322-91096-7 |
| Item Description: | Das vorliegende Buch ist eine überarbeitete Fassung meiner Habilitationsschrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Technischen Universität München im Rahmen des ESPRIT-Projektes P973 ALPES fertiggestellt worden. Herrn Prof. Bibel und Herrn Prof. Jessen möchte ich danken, daß sie mir die Arbeit in der fruchtbaren und anregenden Atmosphäre der Forschungsgruppe Intellektik ermöglicht haben. Herrn Prof. Brauer danke ich für das Interesse, daß er dieser Arbeit entgegengebracht hat. Ein wichtiger Teil der Arbeit baut auf meiner wissenschaftlichen Tätigkeit an der Fakultät für Informatik der Universität der Bundeswehr München auf. Für die Unterstützung während dieser Zeit, sowie für zahlreiche Verbesserungsvorschlage möchte ich Herrn Prof. Niegel herzlich danken. Die Zusammenarbeit mit meinem Kollegen Steffen Holldobler hat mir großen Spaß gemacht, seine Ideen, seine Diskussionsbereitschaft und seine Kritikfreudigkeit haben mich stets angeregt. Diskussionen mit Thierry Conrad, Jean-Yves Cras und Bertram Fronhofer haben wesentlich mitgeholfen. Die Implementierung des FHCL-Systems wurde von Thomas Laufiermeier, die der parallelen Version von Matthias Schuster angefertigt. Christian Suttner war FHCL-Anwender bei der Entwicklung von Smoothsort. Er hat auch zusammen mit Peter Baumgartner und Max Moser frühere Fassungen dieser Arbeit kritisch gelesen |
| Physical Description: | 1 Online-Ressource (159S.) |
| ISBN: | 9783322910967 9783528051273 |
| DOI: | 10.1007/978-3-322-91096-7 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042430312 | ||
| 003 | DE-604 | ||
| 005 | 20150907 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1991 xx o|||| 00||| ger d | ||
| 020 | |a 9783322910967 |c Online |9 978-3-322-91096-7 | ||
| 020 | |a 9783528051273 |c Print |9 978-3-528-05127-3 | ||
| 024 | 7 | |a 10.1007/978-3-322-91096-7 |2 doi | |
| 035 | |a (OCoLC)864003241 | ||
| 035 | |a (DE-599)BVBBV042430312 | ||
| 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 004 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Furbach, Ulrich |d 1948- |e Verfasser |0 (DE-588)110084497 |4 aut | |
| 245 | 1 | 0 | |a Logische und Funktionale Programmierung |b Grundlagen einer Kombination |c von Ulrich Furbach |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1991 | |
| 300 | |a 1 Online-Ressource (159S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Artificial Intelligence / Künstliche Intelligenz | |
| 500 | |a Das vorliegende Buch ist eine überarbeitete Fassung meiner Habilitationsschrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Technischen Universität München im Rahmen des ESPRIT-Projektes P973 ALPES fertiggestellt worden. Herrn Prof. Bibel und Herrn Prof. Jessen möchte ich danken, daß sie mir die Arbeit in der fruchtbaren und anregenden Atmosphäre der Forschungsgruppe Intellektik ermöglicht haben. Herrn Prof. Brauer danke ich für das Interesse, daß er dieser Arbeit entgegengebracht hat. Ein wichtiger Teil der Arbeit baut auf meiner wissenschaftlichen Tätigkeit an der Fakultät für Informatik der Universität der Bundeswehr München auf. Für die Unterstützung während dieser Zeit, sowie für zahlreiche Verbesserungsvorschlage möchte ich Herrn Prof. Niegel herzlich danken. Die Zusammenarbeit mit meinem Kollegen Steffen Holldobler hat mir großen Spaß gemacht, seine Ideen, seine Diskussionsbereitschaft und seine Kritikfreudigkeit haben mich stets angeregt. Diskussionen mit Thierry Conrad, Jean-Yves Cras und Bertram Fronhofer haben wesentlich mitgeholfen. Die Implementierung des FHCL-Systems wurde von Thomas Laufiermeier, die der parallelen Version von Matthias Schuster angefertigt. Christian Suttner war FHCL-Anwender bei der Entwicklung von Smoothsort. Er hat auch zusammen mit Peter Baumgartner und Max Moser frühere Fassungen dieser Arbeit kritisch gelesen | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Horn-Klausel |0 (DE-588)4202453-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Horn-Klausel |0 (DE-588)4202453-5 |D s |
| 689 | 0 | 1 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Horn-Klausel |0 (DE-588)4202453-5 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 689 | 3 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 3 | |8 5\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-91096-7 |x Verlag |3 Volltext |
| 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 | |
| 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 | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027865643 | |
Record in the Search Index
| DE-BY-TUM_katkey | 2073355 |
|---|---|
| _version_ | 1821931399803830272 |
| any_adam_object | |
| author | Furbach, Ulrich 1948- |
| author_GND | (DE-588)110084497 |
| author_facet | Furbach, Ulrich 1948- |
| author_role | aut |
| author_sort | Furbach, Ulrich 1948- |
| author_variant | u f uf |
| building | Verbundindex |
| bvnumber | BV042430312 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)864003241 (DE-599)BVBBV042430312 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-91096-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04190nam a2200697zc 4500</leader><controlfield tag="001">BV042430312</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150907 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1991 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322910967</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-91096-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528051273</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-05127-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-91096-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864003241</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042430312</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">004</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">Furbach, Ulrich</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110084497</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logische und Funktionale Programmierung</subfield><subfield code="b">Grundlagen einer Kombination</subfield><subfield code="c">von Ulrich Furbach</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 (159S.)</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="0" ind2=" "><subfield code="a">Artificial Intelligence / Künstliche Intelligenz</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Das vorliegende Buch ist eine überarbeitete Fassung meiner Habilitationsschrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Technischen Universität München im Rahmen des ESPRIT-Projektes P973 ALPES fertiggestellt worden. Herrn Prof. Bibel und Herrn Prof. Jessen möchte ich danken, daß sie mir die Arbeit in der fruchtbaren und anregenden Atmosphäre der Forschungsgruppe Intellektik ermöglicht haben. Herrn Prof. Brauer danke ich für das Interesse, daß er dieser Arbeit entgegengebracht hat. Ein wichtiger Teil der Arbeit baut auf meiner wissenschaftlichen Tätigkeit an der Fakultät für Informatik der Universität der Bundeswehr München auf. Für die Unterstützung während dieser Zeit, sowie für zahlreiche Verbesserungsvorschlage möchte ich Herrn Prof. Niegel herzlich danken. Die Zusammenarbeit mit meinem Kollegen Steffen Holldobler hat mir großen Spaß gemacht, seine Ideen, seine Diskussionsbereitschaft und seine Kritikfreudigkeit haben mich stets angeregt. Diskussionen mit Thierry Conrad, Jean-Yves Cras und Bertram Fronhofer haben wesentlich mitgeholfen. Die Implementierung des FHCL-Systems wurde von Thomas Laufiermeier, die der parallelen Version von Matthias Schuster angefertigt. Christian Suttner war FHCL-Anwender bei der Entwicklung von Smoothsort. Er hat auch zusammen mit Peter Baumgartner und Max Moser frühere Fassungen dieser Arbeit kritisch gelesen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Horn-Klausel</subfield><subfield code="0">(DE-588)4202453-5</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">Horn-Klausel</subfield><subfield code="0">(DE-588)4202453-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</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">Horn-Klausel</subfield><subfield code="0">(DE-588)4202453-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</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="689" ind1="3" 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="3" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-91096-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></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="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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027865643</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042430312 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:11:00Z |
| institution | BVB |
| isbn | 9783322910967 9783528051273 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027865643 |
| oclc_num | 864003241 |
| 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 (159S.) |
| 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 |
| series2 | Artificial Intelligence / Künstliche Intelligenz |
| spellingShingle | Furbach, Ulrich 1948- Logische und Funktionale Programmierung Grundlagen einer Kombination Computer science Computer Science Computer Science, general Informatik Programmierung (DE-588)4076370-5 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Horn-Klausel (DE-588)4202453-5 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4198740-8 (DE-588)4195096-3 (DE-588)4129948-6 (DE-588)4202453-5 (DE-588)4113937-9 |
| title | Logische und Funktionale Programmierung Grundlagen einer Kombination |
| title_auth | Logische und Funktionale Programmierung Grundlagen einer Kombination |
| title_exact_search | Logische und Funktionale Programmierung Grundlagen einer Kombination |
| title_full | Logische und Funktionale Programmierung Grundlagen einer Kombination von Ulrich Furbach |
| title_fullStr | Logische und Funktionale Programmierung Grundlagen einer Kombination von Ulrich Furbach |
| title_full_unstemmed | Logische und Funktionale Programmierung Grundlagen einer Kombination von Ulrich Furbach |
| title_short | Logische und Funktionale Programmierung |
| title_sort | logische und funktionale programmierung grundlagen einer kombination |
| title_sub | Grundlagen einer Kombination |
| topic | Computer science Computer Science Computer Science, general Informatik Programmierung (DE-588)4076370-5 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Horn-Klausel (DE-588)4202453-5 gnd |
| topic_facet | Computer science Computer Science Computer Science, general Informatik Programmierung Funktionale Programmierung Logische Programmierung Funktionale Programmiersprache Horn-Klausel Hochschulschrift |
| url | https://doi.org/10.1007/978-3-322-91096-7 |
| work_keys_str_mv | AT furbachulrich logischeundfunktionaleprogrammierunggrundlageneinerkombination |