Books by W. Bibel

Cover of Fundamentals of Artificial Intelligence

Fundamentals of Artificial Intelligence

by W. Bibel, Philippe Jorrand

1986

Cover of Automated deduction

Automated deduction

by W. Bibel, Peter H. Schmitt

1899

Cover of Automated Deduction - A Basis for Applications

Automated Deduction - A Basis for Applications

by W. Bibel

1998

Cover of Automated theorem proving

Automated theorem proving

by W. Bibel

1982

Cover of Ausgezeichnete Informatikdissertationen 1996

Ausgezeichnete Informatikdissertationen 1996

by W. Bibel

2012

Can't find the book you're looking for? Let us know — it helps us improve.