Wolfgang Bibel – författare

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985

Grundlagen zur Neuroinformatik und Neurobiologie

The Computational Brain in deutscher Sprache

Fuzzy-Systems in Computer Science

SAP R/3® Guide to EDI and Interfaces

Cut your Implementation Cost with IDocs®, ALE® and RFC®

Ausgezeichnete Informatikdissertationen 1996

Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß

Artificial Intelligence — Eine Einführung

Wissensbasierte Systeme

Architektur, Entwicklung, Echtzeitanwendungen - Eine praxisgerechte Einführung

Wissensrepräsentation und Inferenz

Eine grundlegende Einführung

Neuronale Netze

Grundlagen und Anwendungen

Einführung in Evolutionäre Algorithmen

Optimierung nach dem Vorbild der Evolution

Fuzzy-Clusteranalyse

Verfahren für die Bilderkennung, Klassifizierung und Datenanalyse

Multiobjective Heuristic Search

An Introduction to intelligent Search Methods for Multicriteria Optimization

Scalable Search in Computer Chess

Algorithmic Enhancements and Experiments at High Search Depths

Information Mining

Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse

Automated Theorem Proving

Efficiency of Theorem Proving Strategies

A Comparative and Asymptotic Analysis

Sehen und die Verarbeitung visueller Information

Eine Einführung

Automated Theorem Proving

5th Conference on Automated Deduction

Les Arcs, France, July 8-11, 1980

Künstliche Intelligenz

Frühjahrsschule Teisendorf, 15.–24. März 1982

Mathematical Methods of Specification and Synthesis of Software Systems '85

Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

Fundamentals of Artificial Intelligence

An Advanced Course

Studien- und Forschungsführer Künstliche Intelligenz

Fundamentals of Artificial Intelligence

An Advanced Course

Lehren Vom Leben: Essays Über Mensch Und Gesellschaft

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications