Andrei Voronkov – författare

Visar alla böcker från författaren Andrei Voronkov. Handla med fri frakt och snabb leverans.

58 produkter

1. 

   Handbook of Automated Reasoning

   Av Andrei Voronkov, Alan J.A. Robinson

   E-bok, 2001

   5037 kr

   Lägg i varukorg

   Handbook of Automated Reasoning presents overviews of the fundamental notations, techniques, ideas and methods developed and used in automated reasoning and its practical applications, which are used in many areas of computer science, including software and hardware, logic and functional …

2. 

   Handbook of Automated Reasoning

   Av A. Robinson, A. Voronkov m. fl.

   Inbunden, 2001

   2584 kr

   Lägg i varukorg

   Handbook of Automated Reasoning - Vol 2

3. 

   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

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers …

4. 

   Perspectives of System Informatics

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

   Av Andrei Voronkov, Irina Virbitskaite m. fl.

   E-bok, 2019

   739 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers …

5. 

   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

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The …

6. 

   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 Andrei Voronkov, Manuel Mazzara

   E-bok, 2016

   739 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The …

7. 

   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

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics …

8. 

   Perspectives of System Informatics

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

   Av Andrei Voronkov, Alexander K. Petrenko

   E-bok, 2018

   755 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics …

9. 

   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

   566 kr

   Lägg i varukorg

   ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti?cialIntelligence,andReasoning(LPAR 2002),heldonOctober14-18,2002,attheUniversityofTbilisi(Georgia),- getherwiththeThirdInternationalWorkshoponImplementationofLogics. …

10. 

    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

    566 kr

    Lägg i varukorg

    ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22-26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of …

11. 

    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

    1126 kr

    Lägg i varukorg

    This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by …

12. 

    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

    1126 kr

    Lägg i varukorg

    This volume containsthe full papers presentedat the 12th InternationalConf- ence on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held 2-6 December 2006,in MontegoBay,Jamaica.The callfor papersattracted 108 full paper submissions, each of which were reviewed by at least three …

13. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

    Av Andrei Voronkov, Geoff Sutcliffe

    E-bok, 2005

    1502 kr

    Lägg i varukorg

14. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

    Av Andrei Voronkov, Franz Baader

    E-bok, 2005

    1470 kr

    Lägg i varukorg

15. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

    Av Andrei Voronkov, Matthias Baaz

    E-bok, 2003

    755 kr

    Lägg i varukorg

16. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

    Av Andrei Voronkov, Moshe Vardi

    E-bok, 2003

    755 kr

    Lägg i varukorg

17. 

    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

    550 kr

    Lägg i varukorg

    This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6-10November2000,followedbythe ReunionWo- shop on Implementation of Logic. Sixty-?ve papers were submitted to LPAR 2000 of which …

18. 

    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

    1126 kr

    Lägg i varukorg

    This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. …

19. 

    Automated Deduction - CADE-18

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

    Av Andrei Voronkov

    Häftad, 2002

    566 kr

    Lägg i varukorg

    The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of …

20. 

    Logic for Programming and Automated Reasoning

    7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

    Av Andrei Voronkov, Michel Parigot

    E-bok, 2003

    712 kr

    Lägg i varukorg

21. 

    Automated Deduction - CADE-18

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

    Av Andrei Voronkov

    E-bok, 2003

    755 kr

    Lägg i varukorg

    The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of …

22. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

    Av Andrei Voronkov, Robert Nieuwenhuis

    E-bok, 2003

    1470 kr

    Lägg i varukorg

    This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. …

23. 

    Logic Programming and Automated Reasoning

    6th International Conference, LPAR''99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

    Av Andrei Voronkov, David McAllester m. fl.

    E-bok, 2007

    755 kr

    Lägg i varukorg

    This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR''99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR''99. Each of the submissions …

24. 

    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

    1126 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed …

25. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

    Av Andrei Voronkov, Miki Hermann

    E-bok, 2006

    1455 kr

    Lägg i varukorg

26. 

    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

    Av Andrei Voronkov

    Häftad, 1992

    566 kr

    Lägg i varukorg

    This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume …

27. 

    Logic Programming and Automated Reasoning

    International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

    Av Andrei Voronkov

    Häftad, 1992

    566 kr

    Lägg i varukorg

    This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving …

28. 

    Logic Programming and Automated Reasoning

    4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

    Av Andrei Voronkov

    Häftad, 1993

    566 kr

    Lägg i varukorg

    LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from …

29. 

    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

    566 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming.The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, …

30. 

    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

    566 kr

    Lägg i varukorg

    This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions …