SULJE VALIKKO

avaa valikko

Logische und Funktionale Programmierung - Grundlagen einer Kombination
51,00 €
Springer Fachmedien Wiesbaden
Sivumäärä: 159 sivua
Asu: Pehmeäkantinen kirja
Painos: 1991
Julkaisuvuosi: 1991, 01.01.1991 (lisätietoa)
Kieli: Saksa
Tuotesarja: Künstliche Intelligenz
Das vorliegende Bueh ist eine iiberarbeitete Fassung meiner Habilitati- onssehrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Teehnisehen Universitat Miinehen im Rahmen des ESPRIT-Projektes P973 ALPES fertiggestellt worden. Herrn Prof. Bibel und Herrn Prof. Jessen moehte ieh danken, daB sie mir die Arbeit in der fruehtbaren und anregenden Atmosphare der Forsehungsgruppe Intellek- tik ermoglieht haben. Herrn Prof. Brauer danke ieh fUr das Interesse, daB er dieser Arbeit entgegengebraeht hat. Ein wiehtiger Teil der Arbeit baut auf meiner wissensehaftliehen Tatigkeit an der Fakultat fiir Informatik der Univer- sitat der Bundeswehr Miinehen auf. Fiir die Unterstiitzung wahrend die- ser Zeit, sowie fUr zahlreiehe Verbesserungsvorsehlage moehte ieh Herrn Prof. Niegel herzlich danken. Die Zusammenarbeit mit meinem Kollegen Steffen Holldobler hat mir groBen SpaB gemaehtj seine Ideen, seine Diskussionsbereitsehaft und seine Kritikfreudigkeit haben mich stets angeregt. Diskussionen mit Thierry Conrad, Jean-Yves Cras und Bertram Fronhofer haben wesent- lich mitgeholfen. Die Implementierung des FHCL-Systems wurde von Thomas Laufier- meier, die der parallelen Version von Matthias Schuster angefertigt. Chri- stian Suttner war FHCL-Anwender bei der Entwicklung von Smoothsort. Er hat auch zusammen mit Peter Baumgartner und Max Moser friihere Fassungen dieser Arbeit kritiseh gelesen.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. Tilaa tuote jouluksi viimeistään 13.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logische und Funktionale Programmierung - Grundlagen einer Kombinationzoom
Näytä kaikki tuotetiedot
ISBN:
9783528051273
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste