Andrei Voronkov – författare
Visar alla böcker från författaren Andrei Voronkov.
31 produkter
Handbook of Automated Reasoning
Av A. Robinson, A. Voronkov m. fl.
Inbunden, 2001
3359 kr
Lägg i varukorg
Perspectives of System Informatics
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Av Nikolaj Bjørner, Irina Virbitskaite m. fl.
Häftad, 2019
729 kr
Lägg i varukorg
Perspectives of System Informatics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Av Manuel Mazzara, Andrei Voronkov
Häftad, 2016
729 kr
Lägg i varukorg
Perspectives of System Informatics
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Av Alexander K. Petrenko, Andrei Voronkov
Häftad, 2018
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Av Matthias Baaz, Andrei Voronkov
Häftad, 2002
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
Av Moshe Vardi, Andrei Voronkov
Häftad, 2003
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Av Franz Baader, Andrei Voronkov
Häftad, 2005
1449 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Av Geoff Sutcliffe, Andrei Voronkov
Häftad, 2005
1449 kr
Lägg i varukorg
Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Av Michel Parigot, Andrei Voronkov
Häftad, 2000
709 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
Av Robert Nieuwenhuis, Andrei Voronkov
Häftad, 2001
1449 kr
Lägg i varukorg
Automated Deduction - CADE-18
18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Häftad, 2002
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
Av Miki Hermann, Andrei Voronkov
Häftad, 2006
1449 kr
Lägg i varukorg
Logic Programming
First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
Häftad, 1992
729 kr
Lägg i varukorg
Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Häftad, 1992
729 kr
Lägg i varukorg
Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Häftad, 1993
729 kr
Lägg i varukorg
Transactions and Change in Logic Databases
International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso
Av Burkhard Freitag, Hendrik Decker m. fl.
Häftad, 1998
729 kr
Lägg i varukorg
Logic Programming and Automated Reasoning
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Av Harald Ganzinger, David McAllester m. fl.
Häftad, 1999
729 kr
Lägg i varukorg
Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
Häftad, 2008
729 kr
Lägg i varukorg
Perspectives of Systems Informatics
6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
Häftad, 2007
729 kr
Lägg i varukorg
Computer Science - Theory and Applications
Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
Av Volker Diekert, Mikhail Volkov m. fl.
Häftad, 2007
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Av Nachum Dershowitz, Andrei Voronkov
Häftad, 2007
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Av Iliano Cervesato, Helmut Veith m. fl.
Häftad, 2008
1449 kr
Lägg i varukorg
Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Av Amir Pnueli, Andrei Voronkov
Häftad, 2010
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Av Christian G. Fermüller, Andrei Voronkov
Häftad, 2010
1449 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Av Edmund M. Clarke Jr., Andrei Voronkov
Häftad, 2011
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Av Nikolaj Bjørner, Andrei Voronkov
Häftad, 2012
729 kr
Lägg i varukorg
Perspectives of Systems Informatics
8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Av Edmund Clarke, Andrei Voronkov
Häftad, 2012
729 kr
Lägg i varukorg
Programming Logics
Essays in Memory of Harald Ganzinger
Av Andrei Voronkov, Christoph Weidenbach
Häftad, 2013
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Av Ken McMillan, Aart Middeldorp m. fl.
Häftad, 2013
729 kr
Lägg i varukorg
Perspectives of System Informatics
9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Av Andrei Voronkov, A.P. Ershov Institute of Informatics Systems
Häftad, 2015
729 kr
Lägg i varukorg