Logic Programming and Automated Reasoning
Editat de Harald Ganzinger et al.
25 aug 1999
Paperback
Preț: 327.12 lei 408.89 lei
6-8 săpt.
-20%
Cărți de Andrei Voronkov
Perspectives of Systems Informatics
Editat de Andrei Voronkov
7 feb 2007
Paperback
Preț: 332.21 lei 415.26 lei
6-8 săpt.
-20%
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
Editat de Andrei Voronkov
4 iul 2008
Paperback
Preț: 329.74 lei 412.17 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Matthias Baaz et al.
2 oct 2002
Paperback
Preț: 330.58 lei 413.22 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Geoff Sutcliffe et al.
24 noi 2005
Paperback
Preț: 645.64 lei 807.06 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
Editat de Robert Nieuwenhuis et al.
21 noi 2001
Paperback
Preț: 666.33 lei 832.91 lei
6-8 săpt.
-20%
Handbook of Automated Reasoning
Editat de Alan J.A. Robinson et al.
21 iun 2001
Hardback
Preț: 1191.60 lei 1419.27 lei
5-7 săpt.
-16%
Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Miki Hermann et al.
23 oct 2006
Paperback
Preț: 637.87 lei 797.35 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
Editat de Amir Pnueli et al.
8 feb 2010
Paperback
Preț: 328.16 lei 410.20 lei
6-8 săpt.
-20%
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Editat de Andrei Voronkov
29 iun 1993
Paperback
Preț: 325.30 lei 406.63 lei
6-8 săpt.
-20%
Transactions and Change in Logic Databases
Editat de Burkhard Freitag et al.
28 oct 1998
Paperback
Preț: 326.91 lei 408.64 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
Editat de Andrei Voronkov
6 mai 1992
Paperback
Preț: 386.74 lei
6-8 săpt.
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Editat de Nikolaj Bjørner et al.
24 feb 2012
Paperback
Preț: 328.16 lei 410.20 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Nachum Dershowitz et al.
8 oct 2007
Paperback
Preț: 335.46 lei 419.32 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
Editat de Iliano Cervesato et al.
13 noi 2008
Paperback
Preț: 641.62 lei 802.03 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
Editat de Edmund Clarke et al.
30 mai 2012
Paperback
Preț: 327.36 lei 409.20 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Moshe Vardi et al.
12 sep 2003
Paperback
Preț: 329.14 lei 411.42 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Editat de Edmund M. Clarke et al.
4 ian 2011
Paperback
Preț: 331.30 lei 414.13 lei
3-5 săpt.
-20%
Automated Deduction - CADE-18
Editat de Andrei Voronkov
17 iul 2002
Paperback
Preț: 334.04 lei 417.55 lei
6-8 săpt.
-20%
Computer Science - Theory and Applications
Editat de Volker Diekert et al.
15 aug 2007
Paperback
Preț: 328.13 lei 410.16 lei
6-8 săpt.
-20%
Logic for Programming and Automated Reasoning
Editat de Michel Parigot et al.
23 oct 2000
Paperback
Preț: 387.47 lei
6-8 săpt.
Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Franz Baader et al.
7 mar 2005
Paperback
Preț: 683.94 lei 854.92 lei
39-44 zile
-20%
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Editat de Martin Davis et al.
3 dec 2015
Paperback
Preț: 336.86 lei 421.08 lei
6-8 săpt.
-20%
Perspectives of System Informatics
Editat de Andrei Voronkov
30 apr 2015
Paperback
Preț: 327.92 lei 409.90 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Ken McMillan et al.
2 dec 2013
Paperback
Preț: 347.10 lei 433.88 lei
6-8 săpt.
-20%
Programming Logics: Essays in Memory of Harald Ganzinger
Editat de Andrei Voronkov et al.
3 apr 2013
Paperback
Preț: 327.54 lei 409.42 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
Editat de Manuel Mazzara et al.
28 iun 2016
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Editat de Christian G. Fermüller et al.
27 sep 2010
Paperback
Preț: 638.76 lei 798.45 lei
3-5 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
Editat de Alexander K. Petrenko et al.
18 ian 2018
Paperback
Preț: 326.87 lei 408.59 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
Editat de Nikolaj Bjørner et al.
14 dec 2019
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%