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