☰
×
My Account
Cart
My Account
Categories
Appliances
Arts, Crafts & Sewing
Automotive
Baby
Beauty
Books
CDs & Vinyl
Collectibles & Fine Arts
Cell Phones & Accessories
Clothing, Shoes & Jewellery
Computers
Electronics
Health & Personal Care
Home & Kitchen
Industrial & Scientific
Luggage & Travel Gear
Musical Instruments
Office Products
Patio, Lawn & Garden
Pet Supplies
Software
Sports & Outdoors
Tools & Home Improvement
Toys
Video Games
Books
>
Computers & Technology
>
Computer Science
>
AI & Machine Learning
>
Intelligence & Semantics
×
❮
❯
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
R 3,968
or 4 x payments of R992.00 with
Add to cart
Availability: Currently in Stock
Delivery: 10-20 working days
Please be aware orders placed now may not arrive in time for Christmas, please check delivery times.
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
ItemPartNumber
biography
ReleaseDate
2013-06-26
UnitCount
1
EANs
9781461275152