Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010: proceedings / eds.: C. G. Fermüller, A. Voronkov, 2010 r=on-line. - Текст : электронный.
Приложение
для Android