CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratog...
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratog... by Kapur, Deepak, Siekmann, Jo... ISBN: 9780387556024 List Price: $123.00

OUT OF STOCK

See Availability on Amazon
2.
Symbolic and Numerical Computation for Artificial Intelligence
Symbolic and Numerical Computation for Artificial Intelligence by Donald, Bruce Randall, Kapu... ISBN: 9780122205354 List Price: $134.95

OUT OF STOCK

See Availability on Amazon
3.
Geometric Reasoning
Geometric Reasoning by Kapur, Deepak, Mundy, Josep... ISBN: 9780262610582 List Price: $37.95
$71.45
4.
Automated Reasoning : 7th International Joint Conference, Ijcar 2014, Held As Part of the Vi...
Automated Reasoning : 7th International Joint Conference, Ijcar 2014, Held As Part of the Vi... by Demri, St�phane, Kapur, Dee... ISBN: 9783319085883 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Automated Deduction - Cade-11
Automated Deduction - Cade-11 by Kapur, Deepak ISBN: 9783662211090 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Theoretical Aspects of Computing -- ICTAC 2017 : 14th International Colloquium, Hanoi, Vietn...
Theoretical Aspects of Computing -- ICTAC 2017 : 14th International Colloquium, Hanoi, Vietn... by Hung, Dang Van, Kapur, Deepak ISBN: 9783319677286 List Price: $84.00
$51.31 (Save 38%)