TY  - BOOK
AU  - Яглом, И.
TI  - Алгоритм машинного поиска естественного логического вывода в исчислении высказиваниий
PY  - 1965///
CY  - Москва
KW  - ბულის რგოლები
ER  -