Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !

Retrait gratuit dans votre magasin Club
7.000.000 titres dans notre catalogue
Payer en toute sécurité
Toujours un magasin près de chez vous

Retrait gratuit dans votre magasin Club
7.000.0000 titres dans notre catalogue
Payer en toute sécurité
Toujours un magasin près de chez vous

Magasins

Wishlist

Magasins

Wishlist

Chercher

Livres

Ebooks

Papeterie

Jeux

Cadeaux

Tous les produits

Dédicaces

Jobs

Articles

54,45 €

+ 108 points

Livraison sous 1 à 4 semaines

Passer une commande en un clic

Payer en toute sécurité

Livraison en Belgique: 3,99 €

Livraison en magasin gratuite

Description

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.