TY  - BOOK
AU  - Капитонова,Юлия Владимировна
ED  - Академия наук УССР
ED  - Институт кибернетики им. В.М. Глушкова АН УССР
TI  - Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ: Сборник научных трудов 
PY  - 1983///
CY  - Киев
PB  - ИК
KW  - Кибернетика - Сборники
KW  - Формализованные языки - Сборники
N1  - Библиогр. в конце ст
ER  -