کتاب های Andrei Voronkov
![Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings](http://cdn.ketabkoo.com/covers/0/63557-n.jpg)
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.), 2007![Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings](http://cdn.ketabkoo.com/covers/1/106355-n.jpg)
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.), 1999![Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings](http://cdn.ketabkoo.com/covers/1/106356-n.jpg)
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.), 1999![Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings](http://cdn.ketabkoo.com/covers/1/143305-n.jpg)
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.), 2001![Programming Logics: Essays in Memory of Harald Ganzinger](http://cdn.ketabkoo.com/covers/6/675354-n.jpg)