książki » Voronkov, Andrei

zaloguj się | załóż konto

topmenu

Książki na zamówienie

Książka na prezent

Wyszukiwanie zaawansowane

Bezpłatna dostawa dla zamówień powyżej 40 zł

Bezpłatna dostawa dla zamówień powyżej 40 zł

Kategorie główne

• Nauka

[3096608]

• Literatura piękna

[1811851]

Kategorie szczegółowe BISAC

Voronkov, Andrei

Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.

[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Pap	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.	Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings	Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings	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: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings	Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings	Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings	Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings	Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Facebook - konto krainaksiazek.pl

Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl

Zobacz:

1997-2026 DolnySlask.com Agencja Internetowa

Przechowalnia

Przechowalnia