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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
