Cărți de Andrei Voronkov

Rewriting Techniques and Applications

Editat de Andrei Voronkov

4 iul 2008

Preț: 330^.96 lei 413^.70 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Edmund M. Clarke et al.

4 ian 2011

Preț: 333^.82 lei 417^.28 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ț: 638^.76 lei 798^.45 lei

3-5 săpt.

-20%

Logic Programming and Automated Reasoning

Editat de Harald Ganzinger et al.

25 aug 1999

Preț: 328^.10 lei 410^.13 lei

6-8 săpt.

-20%

Perspectives of Systems Informatics

Editat de Andrei Voronkov

7 feb 2007

Preț: 333^.24 lei 416^.55 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Matthias Baaz et al.

2 oct 2002

Preț: 331^.59 lei 414^.49 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Geoff Sutcliffe et al.

24 noi 2005

Preț: 647^.64 lei 809^.56 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Robert Nieuwenhuis et al.

21 noi 2001

Preț: 647^.43 lei 809^.29 lei

6-8 săpt.

-20%

Handbook of Automated Reasoning

Handbook of Automated Reasoning, nr. II

Editat de Alan J.A. Robinson et al.

21 iun 2001

Preț: 1190^.30 lei 1418^.17 lei

5-7 săpt.

-16%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Miki Hermann et al.

23 oct 2006

Preț: 639^.87 lei 799^.83 lei

6-8 săpt.

-20%

Perspectives of Systems Informatics

Editat de Amir Pnueli et al.

8 feb 2010

Preț: 329^.51 lei 411^.90 lei

6-8 săpt.

-20%

Logic Programming and Automated Reasoning

Editat de Andrei Voronkov

29 iun 1993

Preț: 327^.69 lei 409^.62 lei

6-8 săpt.

-20%

Transactions and Change in Logic Databases

Editat de Burkhard Freitag et al.

28 oct 1998

Preț: 327^.92 lei 409^.89 lei

6-8 săpt.

-20%

Logic Programming

Editat de Andrei Voronkov

6 mai 1992

Preț: 390^.08 lei

6-8 săpt.

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Nachum Dershowitz et al.

8 oct 2007

Preț: 336^.49 lei 420^.61 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ț: 641^.62 lei 802^.03 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ț: 328^.16 lei 410^.20 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Moshe Vardi et al.

12 sep 2003

Preț: 330^.15 lei 412^.69 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Franz Baader et al.

7 mar 2005

Preț: 684^.17 lei 855^.21 lei

38-44 zile

-20%

Logic for Programming and Automated Reasoning

Editat de Michel Parigot et al.

23 oct 2000

Preț: 388^.66 lei

6-8 săpt.

Automated Deduction - CADE-18

Editat de Andrei Voronkov

17 iul 2002

Preț: 335^.05 lei 418^.81 lei

6-8 săpt.

-20%

Computer Science - Theory and Applications

Editat de Volker Diekert et al.

15 aug 2007

Preț: 329^.14 lei 411^.42 lei

6-8 săpt.

-20%

Perspectives of Systems Informatics

Editat de Edmund Clarke et al.

30 mai 2012

Preț: 328^.72 lei 410^.89 lei

6-8 săpt.

-20%

Perspectives of System Informatics

Lecture Notes in Computer Science, nr. 11964

Editat de Nikolaj Bjørner et al.

14 dec 2019

Preț: 321^.36 lei 401^.70 lei

6-8 săpt.

-20%

Perspectives of System Informatics

Lecture Notes in Computer Science, nr. 9609

Editat de Manuel Mazzara et al.

28 iun 2016

Preț: 324^.82 lei 406^.03 lei

6-8 săpt.

-20%

Perspectives of System Informatics

Lecture Notes in Computer Science, nr. 10742

Editat de Alexander K. Petrenko et al.

18 ian 2018

Preț: 329^.51 lei 411^.90 lei

6-8 săpt.

-20%

Programming Logics

Editat de Andrei Voronkov et al.

3 apr 2013

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Ken McMillan et al.

2 dec 2013

Preț: 348^.16 lei 435^.21 lei

6-8 săpt.

-20%

Perspectives of System Informatics

Editat de Andrei Voronkov

30 apr 2015

Preț: 328^.93 lei 411^.16 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Martin Davis et al.

3 dec 2015

Preț: 340^.38 lei 425^.47 lei

6-8 săpt.

-20%