Automated Theorem Proving (German Edition)

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