Books > Computers & Technology > Computer Science > AI & Machine Learning > Intelligence & Semantics
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture Notes in Computer Science, 607)
Product ID: 3540556028
Condition: New
$ 345
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture Notes in Computer Science, 607)
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
Refer to Sapnet.
IsAdultProduct
Height
9.25
Length
6.1
Weight
2.4691773344
Width
1.84
NumberOfItems
1
You might also like
Masterpieces Alabama Playing Cards - Crimson Tide Fan Deck
Bus Driver Pulse Line Bus Spotter Heart Rate Ceramic Mug, Orange/White, 11oz
LOMON 3/4 Length Sleeve Womens Tops Crewneck Tunic Shirts 2-Stripes S
La ruptura del tiempo
El contubernio de Lisboa
Ser inteligente no es un delito
Bajo un mismo cielo
Phenomenology of Film: A Heideggerian Account of the Film Experience