Výsledky hledání pro autora

Obálka

Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /

Vydáno: 2010

Další autoři: „... Voronkov, Andrei, 1959- ...“

Kniha

Obálka není k dispozici

LPAR-19. Logic for Programming, Artificial Intelligence, and Reasoning. 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings /

Vydáno: 2013

Další autoři: „... Voronkov, Andrei, 1959- ...“

Elektronický zdroj