Sell books & media
Buy books & more
Watchlist
Sign in
All categories
All
x
Category
show all
Books
Computers & Internet
IT training & careers
Computer Science
(1)
From
show all
unknown
(59)
Christian Demand
(13)
Dirk Hardy
(12)
Dietmar Abts
(10)
Manfred Bornhofen
(9)
Gerrit Heinemann
(9)
Barry Burd
(8)
Michael Gradias
(8)
Tobias Kollmann
(8)
Andreas Gadatsch
(6)
Andreas Meier
(6)
Anton Ochsenkühn
(6)
Axelos
(6)
Dan Gookin
(6)
Eckstein, Peter P.
(6)
Heinz-Peter Gumm
(6)
Mueller, John Paul
(6)
Team ALGE
(5)
Bernd Schmitt
(5)
Great Britain: Cabinet Office
(5)
Wolfgang Bibel
(1)
Condition
Good
(1)
Price
€10 - €20
(1)
Medium
show all
Paperback
(1)
Home
Books
Computers & Internet
IT training & careers
filter (3)
Wolfgang Bibel
Paperback
IT training & careers
Only available items
Popularity
Price: ascending
Price: descending
Oldest articles
Latest articles
Popularity
Automated Theorem Proving
from
Wolfgang Bibel
Used - good
Book - Used - good
New
€54.99
You save €41.50 (75%)
Book
€13.49
You save €41.50 (75%)
New
€54.99
€13.49
Add to watchlist
More Details
Add to Cart