TY - BOOK AU - Летичевский,Александр Адольфович ED - Институт кибернетики им. В. М. Глушкова TI - Методы и средства алгебраического и логического программирования: Сб. науч. тр. SN - 5770200456 PY - 1990/// CY - Киев PB - ИК KW - Логическое программирование - Сборники KW - Вычислительные машины электронные - Программирование - - Сборники KW - ლოგიკური პროგრამირება KW - გამოთვლითი მანქანები N1 - Библиогр. в конце ст ER -