TY  - BOOK
AU  - Шанин Н. А.
AU  - Давидов Г. В.
AU  - Маслов С. Ю.
ED  - Акад. наук СССР. мат. ин.т им. В. А. Стеклеева. Ленинградское отдел.
TI  - Алгорифм машинного поиска естественного логического вывода в иссилении высказываний
SN  -   
PY  - 1965///
CY  - М.: 
PB  - наука
KW  - ალგორითმი
KW  - ლოგიკა
ER  -