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%
Cărți de Andrei Voronkov
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%
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 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 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%
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: 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%
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%
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: 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%
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%
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%