CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 25 of 36 Results
1.
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference,...
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference,... by Voronkov, Andrei ISBN: 9783540482819 List Price: $115.00
$103.17 (Save 10%)
2.
Logic Programming and Automated Reasoning 6th International Conference, Lpar'99, Tbilisi, Ge...
Logic Programming and Automated Reasoning 6th International Conference, Lpar'99, Tbilisi, Ge... by Ganzinger, Harald, McAllest... ISBN: 9783540664925 List Price: $79.95
$52.33 (Save 34%)
3.
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, P...
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, P... by Clarke, Edmund, Virbitskait... ISBN: 9783642297083 List Price: $89.95
$51.31 (Save 42%)
4.
Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conferenc...
Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conferenc... by Bj�rner, Nikolaj, Voronkov,... ISBN: 9783642287169 List Price: $95.00
$51.31 (Save 45%)
5.
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference...
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference... by Clarke, Edmund M., Voronkov... ISBN: 9783642175107 List Price: $107.00

OUT OF STOCK

See Availability on Amazon
6.
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference...
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference... by Cervesato, Iliano, Veith, H... ISBN: 9783540894384 List Price: $119.00
$101.14 (Save 15%)
7.
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PS...
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PS... by Pnueli, Amir, Virbitskaite,... ISBN: 9783642114854 List Price: $95.00
$52.33 (Save 44%)
8.
Logic for Programming, Artificial Intelligence, And Reasoning 12th International Conference,...
Logic for Programming, Artificial Intelligence, And Reasoning 12th International Conference,... by Sutcliffe, Geoff, Voronkov,... ISBN: 9783540305538 List Price: $117.00
$103.17 (Save 11%)
9.
Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, ...
Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, ... by Baas, Matthias, Voronkov, A... ISBN: 9783540000105 List Price: $82.95
$52.33 (Save 36%)
10.
Logic for Programming Artificial Intelligence and Reasoning 10th International Conference, L...
Logic for Programming Artificial Intelligence and Reasoning 10th International Conference, L... by Vardi, Moshe Y., Voronkov, ... ISBN: 9783540201014 List Price: $79.95
$52.33 (Save 34%)
11.
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, Psi...
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, Psi... by Voronkov, Andrei ISBN: 9783540708803 List Price: $89.95
$42.78 (Save 52%)
12.
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conferenc...
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conferenc... by Fermüller, Christian G., Vo... ISBN: 9783642162411 List Price: $119.00
$101.14 (Save 15%)
13.
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conferenc...
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conferenc... by McMillan, Ken, Middeldorp, ... ISBN: 9783642452208 List Price: $143.00
$51.31 (Save 64%)
14.
Handbook of Automated Reasoning
Handbook of Automated Reasoning by Robinson, J. Alan, Voronkov... ISBN: 9780262182232 List Price: $270.00

OUT OF STOCK

See Availability on Amazon
15.
Handbook of Automated Reasoning
Handbook of Automated Reasoning by Robinson, J. Alan, Voronkov... ISBN: 9780262182225 List Price: $165.00
$268.25
16.
Handbook of Automated Reasoning
Handbook of Automated Reasoning by Robinson, J. Alan, Voronkov... ISBN: 9780262182218 List Price: $135.00

OUT OF STOCK

See Availability on Amazon
17.
Handbook of Automated Reasoning
Handbook of Automated Reasoning by Robinson, Alan, Voronkov, A... ISBN: 9780444829498 List Price: $230.00
$270.89
18.
Handbook of Automated Reasoning
Handbook of Automated Reasoning by Robinson, Alan, Voronkov, A... ISBN: 9780444508126 List Price: $265.00
$255.87 (Save 3%)
19.
Handbook of Automated Reasoning
Handbook of Automated Reasoning by Robinson, Alan, Voronkov, A... ISBN: 9780444508133 List Price: $460.00

OUT OF STOCK

See Availability on Amazon
20.
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference,...
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference,... by Mazzara, Manuel, Voronkov, ... ISBN: 9783319415789 List Price: $82.00
$51.31 (Save 37%)
21.
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning by Ferm Ller, Christian G., Vo... ISBN: 9783642162435 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
22.
Logic for Programming and Automated Reasoning
Logic for Programming and Automated Reasoning by Parigot, Michel, Voronkov, ... ISBN: 9783662162378 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
23.
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning by Nieuwenhuis, Robert, Voronk... ISBN: 9783662187685 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
24.
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conferenc...
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conferenc... by McMillan, Ken, Middeldorp, ... ISBN: 9783642452222 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
25.
Automated Deduction - Cade-18
Automated Deduction - Cade-18 by Voronkov, Andrei ISBN: 9783662194904 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
Showing 1 - 25 of 36 Results - Browse more Voronkov Andrei in all departments
1 2 | ▶