TY - BOOK ED - Вильнюс. госуниверситет им. В. Капсукаса TI - Формализация естественного языка в терминах исчисления высказываний и исчисления предикатов первой степени / Ч. 1 PY - 1975/// CY - Вильнюс. PB - Изд. гос ун-та N1 - Библиогр. : с.158-161 ER -