TY  - GEN
TY  - GEN
T1  - Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij
A1  - Šanin, N. A. Шанин, Н. А
A2  - Davydov, G. V. Давыдов, Г. В
A2  - Maslov, S. Û. Маслов, С. Ю
LA  - rus
PP  - Moskva
PB  - Izd. "Nauka"
YR  - 1965
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.1083213
ER  -