Matematicheskoe obespechenie sistem logicheskogo vyvoda i deduktivnykh postroenii na ĖVM
Subtitle: sbornik nauchnykh trudov
By: [redakt͡s︡ionnai͡a︡ kollegii͡a︡ I͡U︡.V. Kapitonova (otvetstv. redaktor) ... et al.].
Contributors: Kapitonova, I͡U︡lii͡a︡ Vladimirovna.; Naukova rada z kibernetyky (Akademii͡a︡ nauk Ukraïnsʹkoï RSR); Institut kibernetiki im. V.M. Glushkova.
Publisher: In-t kibernetiki im. V.M. Glushkova
Published: 1983
Place of publication: Kiev
Language: rus
Number of pages: 96
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references.
A head of title: Akademii͡a︡ nauk Ukrainskoĭ SSR. Nauchnyĭ sovet po probleme "Kibernetika." Ordena Lenina Institut kibernetiki imeni V.M. Glushkova.