W. Bibel

1938

• Fundamentals of Artificial Intelligence
• Artificial Intelligence
• Artificial Intelligence - Eine Einführung
• Ausgezeichnete Informatikdissertationen 1996
• Ausgezeichnete Informatikdissertationen 1996
• Automated deduction
• Automated Deduction - A Basis for Applications
• Automated Deduction - A Basis for Applications
• Automated theorem proving
• Automated Theorem Proving
• Automated theorem proving
• Betriebswirtschaftliche Anwendungen des Soft Computing