Showing 1 - 25 of 36 Results
2.
Logic Programming and Automated Reasoning 6th International Conference, Lpar'99, Tbilisi, Ge... by Ganzinger, Harald, McAllest... ISBN: 9783540664925 List Price: $79.95
3.
Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conferenc... by Bj�rner, Nikolaj, Voronkov,... ISBN: 9783642287169 List Price: $95.00
4.
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, P... by Clarke, Edmund, Virbitskait... ISBN: 9783642297083 List Price: $89.95
5.
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference... by Clarke, Edmund M., Voronkov... ISBN: 9783642175107 List Price: $107.00
6.
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conferenc... by Fermüller, Christian G., Vo... ISBN: 9783642162411 List Price: $119.00
7.
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PS... by Pnueli, Amir, Virbitskaite,... ISBN: 9783642114854 List Price: $95.00
8.
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference... by Cervesato, Iliano, Veith, H... ISBN: 9783540894384 List Price: $119.00
10.
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conferenc... by McMillan, Ken, Middeldorp, ... ISBN: 9783642452208 List Price: $143.00
11.
Logic for Programming, Artificial Intelligence, And Reasoning 12th International Conference,... by Sutcliffe, Geoff, Voronkov,... ISBN: 9783540305538 List Price: $117.00
12.
Logic for Programming Artificial Intelligence and Reasoning 10th International Conference, L... by Vardi, Moshe Y., Voronkov, ... ISBN: 9783540201014 List Price: $79.95
13.
Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, ... by Baas, Matthias, Voronkov, A... ISBN: 9783540000105 List Price: $82.95
14.
Handbook of Automated Reasoning by Robinson, J. Alan, Voronkov... ISBN: 9780262182232 List Price: $270.00
15.
Handbook of Automated Reasoning by Robinson, J. Alan, Voronkov... ISBN: 9780262182225 List Price: $165.00
16.
Handbook of Automated Reasoning by Robinson, J. Alan, Voronkov... ISBN: 9780262182218 List Price: $135.00
17.
Handbook of Automated Reasoning by Robinson, Alan, Voronkov, A... ISBN: 9780444829498 List Price: $230.00
18.
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference,... by Mazzara, Manuel, Voronkov, ... ISBN: 9783319415789 List Price: $82.00
19.
Logic for Programming, Artificial Intelligence, and Reasoning by Baaz, Matthias, Voronkov, A... ISBN: 9783662178072 List Price: $24.99
20.
Logic for Programming, Artificial Intelligence, and Reasoning by Ferm Ller, Christian G., Vo... ISBN: 9783642162435 List Price: $24.99
21.
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conferenc... by McMillan, Ken, Middeldorp, ... ISBN: 9783642452222 List Price: $24.99
22.
Logic for Programming and Automated Reasoning by Parigot, Michel, Voronkov, ... ISBN: 9783662162378 List Price: $24.99
23.
Logic for Programming, Artificial Intelligence, and Reasoning by Nieuwenhuis, Robert, Voronk... ISBN: 9783662187685 List Price: $24.99
24.
Automated Deduction - Cade-18 by Voronkov, Andrei ISBN: 9783662194904 List Price: $24.99
25.
Logic Programming and Automated Reasoning by Voronkov, Andrei ISBN: 9783662204450 List Price: $24.99
Showing 1 - 25 of 36 Results - Browse more Voronkov Andrei in all departments
1 2 |