7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science, 170)
Product ID: 0387960228
Condition: New
$ 331
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science, 170)
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
6900909
Model
6900909
IsAdultProduct
Height
9.2499815
Length
6.0999878
Weight
1.58953290902
Width
1.18
ReleaseDate
1984-05-18T00:00:01Z
NumberOfItems
1







