Games
Apps
Movies
Books
Kids
google_logo Play
Games
Apps
Movies
Books
Kids
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
Personalization in Play
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Movies
Books
Kids
More by Wolfgang Bibel
Automated Theorem Proving: Edition 2
€94.82
€66.37
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Book 9
€217.99
€152.59
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Book 10
€152.59
€106.81
