Parallelism in Logic: Its Potential for Performance and Program Development
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1991
|
| Schriftenreihe: | Artificial Intelligence / Künstliche Intelligenz
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The work described in this book is the outcome of the author's contributions to the design of a parallel inference machine in the Artificial Intelligence / Intellektik Group at the Computer Science Department of the Technical University in Munich. It is the revised version of a doctoral dissertation, submitted to the Technical University under the same title in 1990. The research was carried out in the framework of the European ESPRIT programme, project 415: "Parallel Architectures and Languages for Advanced Information Processing - A VLSI-directed Approach", with Philips Research Laboratories, Eindhoven, The Netherlands, as main contractor, and Nixdorf Computer AG, Paderborn, Germany, as subcontractor for subproject F. Out of the many people who helped me to accomplish this work, I owe the most to Prof. Dr. W. Bibel, who founded the Intellektik Group in Munich, initiated its participation in ESPRIT 415, and hired me for this project although my exposure to logic was rather limited at that time. My thesis advisor, Prof. E. Jessen, deserves a lot of gratitude for his superb supervision and constant encouragement, especially after Prof. Bibelleft Munich; without his help, it would have taken me even longer to complete this work. Many more people contributed to the research described here; an overview can be found in the back of the book (p. 269). My final thanks go to Catharine O'Shaughnessy for her patience and support, especially during the final stage |
| Beschreibung: | 1 Online-Ressource (XII, 300 S.) |
| ISBN: | 9783322849229 9783528051631 |
| DOI: | 10.1007/978-3-322-84922-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042429372 | ||
| 003 | DE-604 | ||
| 005 | 20171219 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1991 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322849229 |c Online |9 978-3-322-84922-9 | ||
| 020 | |a 9783528051631 |c Print |9 978-3-528-05163-1 | ||
| 024 | 7 | |a 10.1007/978-3-322-84922-9 |2 doi | |
| 035 | |a (OCoLC)863979277 | ||
| 035 | |a (DE-599)BVBBV042429372 | ||
| 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 DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Kurfeß, Franz |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Parallelism in Logic |b Its Potential for Performance and Program Development |c von Franz Kurfeß |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1991 | |
| 300 | |a 1 Online-Ressource (XII, 300 S.) | ||
| 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 The work described in this book is the outcome of the author's contributions to the design of a parallel inference machine in the Artificial Intelligence / Intellektik Group at the Computer Science Department of the Technical University in Munich. It is the revised version of a doctoral dissertation, submitted to the Technical University under the same title in 1990. The research was carried out in the framework of the European ESPRIT programme, project 415: "Parallel Architectures and Languages for Advanced Information Processing - A VLSI-directed Approach", with Philips Research Laboratories, Eindhoven, The Netherlands, as main contractor, and Nixdorf Computer AG, Paderborn, Germany, as subcontractor for subproject F. Out of the many people who helped me to accomplish this work, I owe the most to Prof. Dr. W. Bibel, who founded the Intellektik Group in Munich, initiated its participation in ESPRIT 415, and hired me for this project although my exposure to logic was rather limited at that time. My thesis advisor, Prof. E. Jessen, deserves a lot of gratitude for his superb supervision and constant encouragement, especially after Prof. Bibelleft Munich; without his help, it would have taken me even longer to complete this work. Many more people contributed to the research described here; an overview can be found in the back of the book (p. 269). My final thanks go to Catharine O'Shaughnessy for her patience and support, especially during the final stage | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-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 Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-84922-9 |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-027864703 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804153110122201088 |
|---|---|
| any_adam_object | |
| author | Kurfeß, Franz |
| author_facet | Kurfeß, Franz |
| author_role | aut |
| author_sort | Kurfeß, Franz |
| author_variant | f k fk |
| building | Verbundindex |
| bvnumber | BV042429372 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863979277 (DE-599)BVBBV042429372 |
| 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-322-84922-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03416nmm a2200517zc 4500</leader><controlfield tag="001">BV042429372</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171219 </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">9783322849229</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-84922-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528051631</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-05163-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-84922-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863979277</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042429372</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kurfeß, Franz</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Parallelism in Logic</subfield><subfield code="b">Its Potential for Performance and Program Development</subfield><subfield code="c">von Franz Kurfeß</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 (XII, 300 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="490" ind1="0" ind2=" "><subfield code="a">Artificial Intelligence / Künstliche Intelligenz</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The work described in this book is the outcome of the author's contributions to the design of a parallel inference machine in the Artificial Intelligence / Intellektik Group at the Computer Science Department of the Technical University in Munich. It is the revised version of a doctoral dissertation, submitted to the Technical University under the same title in 1990. The research was carried out in the framework of the European ESPRIT programme, project 415: "Parallel Architectures and Languages for Advanced Information Processing - A VLSI-directed Approach", with Philips Research Laboratories, Eindhoven, The Netherlands, as main contractor, and Nixdorf Computer AG, Paderborn, Germany, as subcontractor for subproject F. Out of the many people who helped me to accomplish this work, I owe the most to Prof. Dr. W. Bibel, who founded the Intellektik Group in Munich, initiated its participation in ESPRIT 415, and hired me for this project although my exposure to logic was rather limited at that time. My thesis advisor, Prof. E. Jessen, deserves a lot of gratitude for his superb supervision and constant encouragement, especially after Prof. Bibelleft Munich; without his help, it would have taken me even longer to complete this work. Many more people contributed to the research described here; an overview can be found in the back of the book (p. 269). My final thanks go to Catharine O'Shaughnessy for her patience and support, especially during the final stage</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">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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-84922-9</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-027864703</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></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042429372 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:23Z |
| institution | BVB |
| isbn | 9783322849229 9783528051631 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027864703 |
| oclc_num | 863979277 |
| 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 (XII, 300 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 |
| series2 | Artificial Intelligence / Künstliche Intelligenz |
| spelling | Kurfeß, Franz Verfasser aut Parallelism in Logic Its Potential for Performance and Program Development von Franz Kurfeß Wiesbaden Vieweg+Teubner Verlag 1991 1 Online-Ressource (XII, 300 S.) txt rdacontent c rdamedia cr rdacarrier Artificial Intelligence / Künstliche Intelligenz The work described in this book is the outcome of the author's contributions to the design of a parallel inference machine in the Artificial Intelligence / Intellektik Group at the Computer Science Department of the Technical University in Munich. It is the revised version of a doctoral dissertation, submitted to the Technical University under the same title in 1990. The research was carried out in the framework of the European ESPRIT programme, project 415: "Parallel Architectures and Languages for Advanced Information Processing - A VLSI-directed Approach", with Philips Research Laboratories, Eindhoven, The Netherlands, as main contractor, and Nixdorf Computer AG, Paderborn, Germany, as subcontractor for subproject F. Out of the many people who helped me to accomplish this work, I owe the most to Prof. Dr. W. Bibel, who founded the Intellektik Group in Munich, initiated its participation in ESPRIT 415, and hired me for this project although my exposure to logic was rather limited at that time. My thesis advisor, Prof. E. Jessen, deserves a lot of gratitude for his superb supervision and constant encouragement, especially after Prof. Bibelleft Munich; without his help, it would have taken me even longer to complete this work. Many more people contributed to the research described here; an overview can be found in the back of the book (p. 269). My final thanks go to Catharine O'Shaughnessy for her patience and support, especially during the final stage Engineering Engineering, general Ingenieurwissenschaften Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Parallelverarbeitung (DE-588)4075860-6 s Logische Programmierung (DE-588)4195096-3 s 2\p DE-604 https://doi.org/10.1007/978-3-322-84922-9 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 |
| spellingShingle | Kurfeß, Franz Parallelism in Logic Its Potential for Performance and Program Development Engineering Engineering, general Ingenieurwissenschaften Logische Programmierung (DE-588)4195096-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4075860-6 (DE-588)4113937-9 |
| title | Parallelism in Logic Its Potential for Performance and Program Development |
| title_auth | Parallelism in Logic Its Potential for Performance and Program Development |
| title_exact_search | Parallelism in Logic Its Potential for Performance and Program Development |
| title_full | Parallelism in Logic Its Potential for Performance and Program Development von Franz Kurfeß |
| title_fullStr | Parallelism in Logic Its Potential for Performance and Program Development von Franz Kurfeß |
| title_full_unstemmed | Parallelism in Logic Its Potential for Performance and Program Development von Franz Kurfeß |
| title_short | Parallelism in Logic |
| title_sort | parallelism in logic its potential for performance and program development |
| title_sub | Its Potential for Performance and Program Development |
| topic | Engineering Engineering, general Ingenieurwissenschaften Logische Programmierung (DE-588)4195096-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Logische Programmierung Parallelverarbeitung Hochschulschrift |
| url | https://doi.org/10.1007/978-3-322-84922-9 |
| work_keys_str_mv | AT kurfeßfranz parallelisminlogicitspotentialforperformanceandprogramdevelopment |