voronkov-rv
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings (Lecture Notes in Computer Science (5330))
Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان
Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science (7797))
Andrei Voronkov; Harald Ganzinger; Christoph Weidenbach
۴۹٬۰۰۰ تومان
Electron Paramagnetic Resonance in Biochemistry and Medicine (Topics in Applied Chemistry)
Rafik Galimzyanovich Saifutdinov, Lyudmila Ivanovna Larina, Tamara Il’inichna Vakul’skaya, Mikhail Grigor’evich Voronkov (auth.)
۴۹٬۰۰۰ تومان
Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings (Lecture Notes in Computer Science)
Miki Hermann, Andrei Voronkov
۴۹٬۰۰۰ تومان
Soulmate
Nigama RV
۴۹٬۰۰۰ تومان
Perspectives Of Systems Informatics: 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers (lecture Notes In Computer Science)
Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان
Advances in artificial intelligence : 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011 : proceedings. Part I
Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)
۴۹٬۰۰۰ تومان
Logic For Programming, Artificial Intelligence, And Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (lecture Notes In Computer Science)
M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان
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.)
۴۹٬۰۰۰ تومان
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science, 6397)
Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان
Structural Chemistry of Boron and Silicon
Nikolai V Alekseev; Friedrich L Boschke; Gert Heller; Kurt Niedenzu; Stanislav N Tandura; Swiatoslaw Trofimenko; Mikhail G Voronkov
۴۹٬۰۰۰ تومان
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers ... Computer Science and General Issues)
Andrei Voronkov, Irina Virbitskaite
۴۹٬۰۰۰ تومان
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Computer Science (4790))
Nachum Dershowitz (editor), Andrei Voronkov (editor)
۴۹٬۰۰۰ تومان
Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings (Lecture Notes in Computer Science, 3835)
Geoff Sutcliffe, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان
Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science, 6397)
Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان
Perspectives Of Systems Informatics: 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers (lecture Notes In Computer Science)
Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science (8044))
Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
۴۹٬۰۰۰ تومان
Inorganic Ring Systems
T. Chivers, R. Keat, J.-F Labarre, R. Laitinen, V. I. Lavrent’yev, R. T. Oakley, Ralf Steudel, M. G. Voronkov
۴۹٬۰۰۰ تومان
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955)
Michel Parigot (editor), Andrei Voronkov (editor)
۴۹٬۰۰۰ تومان
Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Harald Ganzinger; David McAllester; Andrei Voronkov; LPAR (Conference)
۴۹٬۰۰۰ تومان
Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Edmund M Clarke; Andrei Voronkov; LPAR (Conference)
۴۹٬۰۰۰ تومان
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Lecture Notes in Computer Science (2250))
Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.)
۴۹٬۰۰۰ تومان