Cărți de Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6355

Editat de Edmund M. Clarke et al.

4 ian 2011

Preț: 344^.42 lei 430^.53 lei

3-5 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6397

Editat de Christian G. Fermüller et al.

27 sep 2010

Preț: 664^.44 lei 830^.55 lei

3-5 săpt.

-20%

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5117

Editat de Andrei Voronkov

4 iul 2008

Preț: 342^.78 lei 428^.48 lei

6-8 săpt.

-20%

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11964

Editat de Nikolaj Bjørner et al.

14 dec 2019

Preț: 331^.74 lei 414^.67 lei

6-8 săpt.

-20%

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10742

Editat de Alexander K. Petrenko et al.

18 ian 2018

Preț: 339^.80 lei 424^.75 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9609

Editat de Manuel Mazzara et al.

28 iun 2016

Preț: 335^.18 lei 418^.98 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9450

Editat de Martin Davis et al.

3 dec 2015

Preț: 350^.21 lei 437^.76 lei

6-8 săpt.

-20%

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8974

Editat de Andrei Voronkov

30 apr 2015

Preț: 339^.14 lei 423^.93 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8312

Editat de Ken McMillan et al.

2 dec 2013

Preț: 357^.63 lei 447^.04 lei

6-8 săpt.

-20%

Programming Logics: Essays in Memory of Harald Ganzinger

Lecture Notes in Computer Science, nr. 7797

Editat de Andrei Voronkov et al.

3 apr 2013

Preț: 340^.49 lei 425^.62 lei

6-8 săpt.

-20%

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7162

Editat de Edmund Clarke et al.

30 mai 2012

Preț: 340^.32 lei 425^.40 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7180

Editat de Nikolaj Bjørner et al.

24 feb 2012

Preț: 341^.15 lei 426^.44 lei

6-8 săpt.

-20%

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, nr. 5947

Editat de Amir Pnueli et al.

8 feb 2010

Preț: 341^.15 lei 426^.44 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5330

Editat de Iliano Cervesato et al.

13 noi 2008

Preț: 667^.42 lei 834^.28 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4790

Editat de Nachum Dershowitz et al.

8 oct 2007

Preț: 349^.40 lei 436^.75 lei

6-8 săpt.

-20%

Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4649

Editat de Volker Diekert et al.

15 aug 2007

Preț: 340^.64 lei 425^.81 lei

6-8 săpt.

-20%

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Lecture Notes in Computer Science, nr. 4378

Editat de Andrei Voronkov

7 feb 2007

Preț: 344^.76 lei 430^.94 lei

6-8 săpt.

-20%

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, nr. 4246

Editat de Miki Hermann et al.

23 oct 2006

Preț: 662^.30 lei 827^.87 lei

6-8 săpt.

-20%

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, nr. 3835

Editat de Geoff Sutcliffe et al.

24 noi 2005

Preț: 668^.55 lei 835^.68 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3452

Editat de Franz Baader et al.

7 mar 2005

Preț: 620^.76 lei 775^.95 lei

38-44 zile

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2850

Editat de Moshe Vardi et al.

12 sep 2003

Preț: 340^.32 lei 425^.40 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Lecture Notes in Computer Science, nr. 2514

Editat de Matthias Baaz et al.

2 oct 2002

Preț: 343^.29 lei 429^.11 lei

6-8 săpt.

-20%

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Lecture Notes in Computer Science, nr. 2392

Editat de Andrei Voronkov

17 iul 2002

Preț: 344^.93 lei 431^.16 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Lecture Notes in Computer Science, nr. 2250

Editat de Robert Nieuwenhuis et al.

21 noi 2001

Preț: 693^.13 lei 866^.41 lei

6-8 săpt.

-20%

Handbook of Automated Reasoning, nr. II

Editat de Alan J.A. Robinson et al.

21 iun 2001

Preț: 1157^.47 lei 1311^.36 lei

5-7 săpt.

-12%

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1955

Editat de Michel Parigot et al.

23 oct 2000

Preț: 400^.26 lei

6-8 săpt.

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1705

Editat de Harald Ganzinger et al.

25 aug 1999

Preț: 338^.35 lei 422^.94 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 1472

Editat de Burkhard Freitag et al.

28 oct 1998

Preț: 338^.16 lei 422^.70 lei

6-8 săpt.

-20%

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Lecture Notes in Computer Science, nr. 698

Editat de Andrei Voronkov

29 iun 1993

Preț: 338^.16 lei 422^.70 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 592

Editat de Andrei Voronkov

6 mai 1992

Preț: 402^.00 lei

6-8 săpt.

Papetărie, jocuri, reviste

Cărți de Andrei Voronkov