Sell books & media
Buy books & more
Watchlist
Sign in
All categories
All
x
Category
show all
Books
Technical books
Computer Science
Artificial intelligence
(1)
From
show all
unknown
(117)
Dirk Louis
(33)
Philip Kiefer
(31)
Bernd Held
(24)
Walter Doberenz
(24)
Michael Kofler
(22)
Albrecht Beutelspacher
(19)
Günter Born
(18)
Wolfram Gieseke
(18)
Thomas Theis
(18)
Dan Gookin
(17)
Rainer Gievers
(16)
Jürgen Wolf
(16)
Christian Immler
(15)
Michael Weigend
(15)
Peter Monadjemi
(13)
André Willms
(11)
Inge Baumeister
(11)
Bernd Oestereich
(11)
Hans-Georg Schumann
(11)
Wolfgang Bibel
(1)
Condition
Good
(1)
Price
€10 - €20
(1)
Medium
show all
Paperback
(1)
Personal+Computers
(0)
Home
Books
Technical books
Computer Science
filter (3)
Wolfgang Bibel
Personal+Computers
Computer Science
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