Home
Automated Deduction - Cade-12 by Alan Bundy, Paperback | Indigo Chapters
Loading Inventory...
Indigo
Automated Deduction - Cade-12 by Alan Bundy, Paperback | Indigo Chapters
From Alan Bundy
Current price: $71.50
Indigo
Automated Deduction - Cade-12 by Alan Bundy, Paperback | Indigo Chapters
From Alan Bundy
Current price: $71.50
Loading Inventory...
Size: 1.73 x 9.21 x 2.64
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Indigo
12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings | Automated Deduction - Cade-12 by Alan Bundy, Paperback | Indigo Chapters