Books > Computers & Technology > Computer Science > AI & Machine Learning > Intelligence & Semantics
Automated Theorem Proving (German Edition)
Product ID: 3528085207
Condition: New
$ 235
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
Automated Theorem Proving (German Edition)
Technical Specifications
Country
USA
Brand
Vieweg+Teubner Verlag
Manufacturer
Vieweg+Teubner Verlag
Binding
Paperback
PartNumber
black & white illustrations
IsAdultProduct
Height
9.61
Length
6.69
Weight
1.10010668738
Width
0.71
ReleaseDate
1982-01-01T00:00:01Z
NumberOfItems
1
Author
Bibel, Wolfgang







