Algorifm mashinnogo poiska estestvennogo logicheskogo vyvoda v ischislenii vyskazyvaniĭ
By: N. A. Shanin.
Publisher: Nauka (Leningradskoe otd-nie)
Published: 1965
Place of publication: Leningrad
Language: rus
Number of pages: 38
Subjects: Algorithms.; Logic, Symbolic and mathematical.
Notes: At head of title: Akademii͡a︡ Nauk SSSR.  Matematicheskiĭ institut im. V. A. Steklova.  Leningradskoe Otdelenie.