Søkt på: Bøker av Wolfgang Bibel
totalt 41 treff
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy …
Sehen und die Verarbeitung visueller Information
Sehen ist die Ermittlung von Informationen aus Bildern. Welche Informationsquellen dabei genutzt werden und wie die Auswertung im Einzelnen vorgenommen werden kann, ist Gegenstand …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy …
Ausgezeichnete Informatikdissertationen 1996
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den …
5th Conference on Automated Deduction
Lehren vom Leben
Die Essays behandeln privates Erfahrungswissen und wissenschaftliche Erkenntnisse zu den Themenbereichen Körper, Geist, Seele, zwischenmenschliche Beziehungen,gesellschaftliche, …
Studien- und Forschungsführer Künstliche Intelligenz
Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überblick über die in der Bundesrepublik Deutschland und in Österreich bestehenden …
Lehren vom Leben
Die Essays behandeln privates Erfahrungswissen und wissenschaftliche Erkenntnisse zu den Themenbereichen Korper, Geist, Seele, zwischenmenschliche Beziehungen, gesellschaftliche, …
Fundamentals of Artificial Intelligence
Deduktive Datenbanken
Das Leitmotiv dieses Buches ist die Verwendung von Logik als Datenbanksprache. Zunächst werden die Grundlagen der logischen Programmierung erarbeitet und ein spezielles Grundmodell …
Ausgezeichnete Informatikdissertationen 1996
Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den …
Fuzzy-Systems in Computer Science
This book contains a selection of revised papers and state-of-the-art overviews on current trends and future perspectives of fuzzy systems. A major aim is to address theoretical as …