W. Bibel

Mathematical Methods of Specification and Synthesis of Software Systems '85

1987

Fundamentals of Artificial Intelligence

1987

Automated Deduction - A Basis for Applications

2010

Automated theorem proving

1987

Automated deduction

1998

Wissensrepräsentation und Inferenz

1993

Wissensbasierte Systeme

2012

Studien- und Forschungsführer Künstliche Intelligenz

1987

Sehen und die Verarbeitung visueller Information

2000

Künstliche Intelligenz

1982

Data Mining im praktischen Einsatz

2000

Betriebswirtschaftliche Anwendungen des Soft Computing

1998

Ausgezeichnete Informatikdissertationen 1996

2012

Neuronale Netze

1997

Multiobjective Heuristic Search

2013

Lehren Vom Leben

2013

Lehren vom Leben. Essays über Menschen und Gesellschaft

2003

Kunstliche Intelligenz

1982