Avtomatizat͡s︡ii͡a︡ obrabotki matematicheskikh tekstov i voprosy sozdanii͡a︡ robotov
By: [otvetstvennye redaktory I͡U︡.V. Kapitonova, V.I. Rybak].
Contributors: Kapitonova, I͡U︡lii͡a︡ Vladimirovna.; Rybak, V. I.; Instytut kibernetyky (Akademii͡a︡ nauk Ukraïnsʹkoï RSR); Naukova rada z kibernetyky (Akademii͡a︡ nauk Ukraïnsʹkoï RSR)
Publisher: In-t kibernetiki
Published: 1979
Place of publication: Kiev
Language: rus
Number of pages: 93
Subjects: Automatic theorem proving.; Robotics.
Notes: Includes bibliographies.
At head of title: Akademii͡a︡ nauk Ukrainskoĭ SSR. Nauchnyĭ sovet po probleme "Kibernetika."