Voronkov A. (eds.): ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Handbook of automated reasoning Vol. 1 [...]

Handbook of automated reasoning Vol. 1 [...]

Amsterdam [u.a] Elsevier [u.a.]

Robinson A., Voronkov A. (eds.)

წელი:

2001

ენა:

english

ფაილი:

DJVU, 12.43 MB

0 / 0

english, 2001

2

Handbook of automated reasoning, vol.2

Handbook of automated reasoning, vol.2

Robinson A., Voronkov A. (eds.)

წელი:

2001

ენა:

english

ფაილი:

DJVU, 15.36 MB

0 / 0

english, 2001

3

Changing Identities: Armenia, Azerbaijan, Georgia

Changing Identities: Armenia, Azerbaijan, Georgia

Heinrich Böll Stiftung South Caucasus

Viktor Voronkov, Sophia Khutsishvili, John Horan (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 701 KB

0 / 0

english, 2011

4

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

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

Springer-Verlag Berlin Heidelberg

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.)

წელი:

2015

ენა:

english

ფაილი:

PDF, 22.02 MB

0 / 0

english, 2015

5

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

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

Springer-Verlag Berlin Heidelberg

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 5.33 MB

0 / 0

english, 2007

6

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

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

Springer-Verlag Berlin Heidelberg

Luca Aceto, Dario Della Monica (auth.), Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 11.60 MB

0 / 0

english, 2013

7

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

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

Springer-Verlag Berlin Heidelberg

Yuri Gurevich (auth.), Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 7.47 MB

0 / 0

english, 2007

8

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 Dedu

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 Dedu

Springer-Verlag Berlin Heidelberg

Anthony J. Bonner, Michael Kifer (auth.), Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.)

წელი:

1998

ენა:

english

ფაილი:

DJVU, 6.66 MB

0 / 0

english, 1998

9

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

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

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 4.55 MB

0 / 0

english, 2005

10

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Frédéric Blanqui, Jean-Pierre Jouannaud (auth.), Miki Hermann, Andrei Voronkov (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 6.22 MB

0 / 0

english, 2006

11

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

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

Springer-Verlag Berlin Heidelberg

Ian Horrocks (auth.), Andrei Voronkov (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 5.44 MB

0 / 0

english, 2002

12

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

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

Springer-Verlag Berlin Heidelberg

Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf (auth.), Irina Virbitskaite, Andrei Voronkov (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 5.87 MB

0 / 0

english, 2007

13

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 6.95 MB

0 / 0

english, 2010

14

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

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

Springer-Verlag Berlin Heidelberg

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)

წელი:

1993

ენა:

english

ფაილი:

DJVU, 4.02 MB

0 / 0

english, 1993

15

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

წელი:

1999

ენა:

english

ფაილი:

DJVU, 3.65 MB

0 / 0

english, 1999

16

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Allen Van Gelder (auth.), Geoff Sutcliffe, Andrei Voronkov (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 7.14 MB

0 / 0

english, 2005

17

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 12.61 MB

0 / 0

english, 1999

18

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

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

Springer-Verlag Berlin Heidelberg

Andrei Voronkov, Irina Virbitskaite (eds.)

წელი:

2015

ენა:

english

ფაილი:

PDF, 16.61 MB

0 / 0

english, 2015

19

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

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

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 7.38 MB

0 / 5.0

english, 2010

20

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 2.75 MB

0 / 0

english, 1996

21

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 6.95 MB

0 / 0

english, 2010

22

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

წელი:

2013

ენა:

spanish

ფაილი:

PDF, 5.07 MB

0 / 0

spanish, 2013

23

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 8.44 MB

0 / 5.0

english, 2010

24

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

წელი:

2013

ენა:

spanish

ფაილი:

EPUB, 1.40 MB

0 / 0

spanish, 2013

25

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

წელი:

2013

ენა:

spanish

ფაილი:

AZW3 , 2.01 MB

0 / 0

spanish, 2013

26

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

წელი:

2013

ენა:

spanish

ფაილი:

MOBI , 1.78 MB

0 / 0

spanish, 2013

27

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

წელი:

2013

ენა:

spanish

ფაილი:

FB2 , 3.00 MB

0 / 0

spanish, 2013

28

LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

წელი:

2013

ფაილი:

LIT , 1.37 MB

0 / 0

2013

29

Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger

Springer-Verlag Berlin Heidelberg

Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 4.83 MB

0 / 0

english, 2013

30

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

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

Springer-Verlag Berlin Heidelberg

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 6.72 MB

0 / 0

english, 2001

31

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

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

Springer-Verlag Berlin Heidelberg

Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 5.27 MB

0 / 0

english, 2012

32

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

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

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.38 MB

0 / 0

english, 2010

33

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 12.49 MB

0 / 0

english, 2011

34

Growth of Crystals: Volume 10

Growth of Crystals: Volume 10

V. V. Voronkov (auth.), N. N. Sheftal’ (eds.)

წელი:

1976

ენა:

english

ფაილი:

PDF, 12.38 MB

0 / 0

english, 1976

35

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

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

Springer-Verlag Berlin Heidelberg

Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 4.08 MB

0 / 0

english, 2003

36

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

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

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 6.94 MB

0 / 0

english, 2010

37

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

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

Springer-Verlag Berlin Heidelberg

M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 4.79 MB

0 / 0

english, 2002

38

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

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

Springer International Publishing

Alexander K. Petrenko, Andrei Voronkov (eds.)

წელი:

2018

ენა:

english

ფაილი:

PDF, 22.74 MB

0 / 0

english, 2018

39

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 11.54 MB

0 / 0

english, 2011

40

Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)

წელი:

1992

ენა:

english

ფაილი:

DJVU, 6.42 MB

0 / 0

english, 1992

41

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

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

Springer-Verlag Berlin Heidelberg

Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 9.43 MB

0 / 0

english, 2008

42

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

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

Springer International Publishing

Manuel Mazzara, Andrei Voronkov (eds.)

წელი:

2016

ენა:

english

ფაილი:

PDF, 12.78 MB

0 / 0

english, 2016

43

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

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

Springer-Verlag Berlin Heidelberg

Eike Best, Philippe Darondeau (auth.), Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 5.51 MB

0 / 0

english, 2012

44

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

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

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 8.19 MB

0 / 0

english, 2010

45

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

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

Springer-Verlag Berlin Heidelberg

Joao Marques-Silva, Inês Lynce, Vasco Manquinho (auth.), Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 11.37 MB

0 / 0

english, 2008

46

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 19.70 MB

0 / 0

english, 2013

47

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

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

Springer-Verlag Berlin Heidelberg

Yves Bekkers, Lucien Ungaro (auth.), A. Voronkov (eds.)

წელი:

1992

ენა:

english

ფაილი:

DJVU, 4.43 MB

0 / 0

english, 1992

48

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

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

Springer-Verlag Berlin Heidelberg

María Alpuente, Santiago Escobar, José Iborra (auth.), Andrei Voronkov (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 4.64 MB

0 / 0

english, 2008

49

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

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

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 7.03 MB

0 / 0

english, 2010

50

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

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

Springer-Verlag Berlin Heidelberg

Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 8.16 MB

0 / 0

english, 2012