Logic, language, information and computation : 14th International workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007: proceedings / ed.: D. Leivant, R. Queiroz, 2007 r=on-line. - Текст : электронный.
Приложение
для Android