Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation)

Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation)

Product ID: 3642819540 Condition: New

$ 333
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard ozow

Product Description

Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation)

  • Used Book in Good Condition

Technical Specifications

Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
Refer to Sapnet.
IsAdultProduct
Height
9.60998078
Length
6.68998662
Weight
1.88936158534
Width
1.23
ReleaseDate
2012-01-10T00:00:01Z
NumberOfItems
1