7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science, 170)

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