Wolfgang Bibel

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April ... (Lecture Notes in Computer Science) (v. 215)

Wolfgang Bibel

$59.78

Studien- Und Forschungsfuhrer Kunstliche Intelligenz

Wolfgang Bibel

Out of Stock

5th Conference on Automated Deduction

Wolfgang Bibel

$60.03

Lehren Vom Leben: Essays Uber Mensch Und Gesellschaft

Wolfgang Bibel

Out of Stock

Artificial Intelligence Eine Einfuhrung

Wolfgang Bibel

Out of Stock

Wissensreprasentation Und Inferenz: Eine Grundlegende Einfuhrung

Wolfgang Bibel

Out of Stock

Fundamentals of Artificial Intelligence: An Advanced Course

Wolfgang Bibel

$54.99

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

Wolfgang Bibel

$169.99 - $219.99

Automated Theorem Proving

Wolfgang Bibel

$109.99