Wyszukiwanie zaawansowane
Kategorie
Kategorie BISAC
Książki na zamówienie
Promocje
Granty
Książka na prezent
Opinie
Pomoc
Załóż konto
Zaloguj się
książki » Voronkov, Andrei
zaloguj się
|
załóż konto
koszyk
konto
szukaj
topmenu
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
Wyszukiwanie zaawansowane
Pusty koszyk
Kategorie główne
•
Nauka
[2692366]
•
Literatura piękna
[1640460]
więcej...
•
Turystyka
[61874]
•
Informatyka
[141681]
•
Komiksy
[32001]
•
Encyklopedie
[21632]
•
Dziecięca
[512964]
•
Hobby
[106747]
•
AudioBooki
[1972]
•
Literatura faktu
[199610]
•
Muzyka CD
[449]
•
Słowniki
[2692]
•
Inne
[407049]
•
Kalendarze
[1350]
•
Podręczniki
[161483]
•
Poradniki
[408221]
•
Religia
[455343]
•
Czasopisma
[420]
•
Sport
[59293]
•
Sztuka
[223844]
•
CD, DVD, Video
[3716]
•
Technologie
[206139]
•
Zdrowie
[88029]
•
Książkowe Klimaty
[118]
•
Zabawki
[2574]
•
Puzzle, gry
[3157]
•
Literatura w języku ukraińskim
[262]
•
Art. papiernicze i szkolne
[9771]
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
Czytaj nas na: