Pr869 Pr869/417 Pr869/417 / Pr869/417-02 COLOG-88 : intern. conf. on computer logic, Tallinn, USSR, Dec. 12-16, 1988. Proc. / Ed. by P. Martin-Lof, G. Mints. - Berlin [et al.] : Springer, 1990. - VI,338 p. - (Lecture notes in computer science ; 417). - Bibliogr. at the end of the art Перевод заглавия: Труды международной конференции по компьютерной логике Рубрики: Логическое программирование Кл.слова (ненормированные): логика программ Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |