Metody predstavlennii͡a︡ znaniĭ i dokazatelʹnoe programmirovanie
Subtitle: sbornik nauchnykh trudov
By: [redakt͡s︡ionnai͡a︡ kollegii͡a︡, E.L. I͡U︡shchenko, F.I. Andon (otvetstvennye redaktory) ... et al.].
Contributors: I͡U︡shchenko, Ekaterina Logvinovna.; Andon, F. I.; Institut kibernetiki im. V.M. Glushkova.; Naukova rada z kibernetyky (Akademii͡a︡ nauk Ukraïnsʹkoï RSR)
Publisher: In-t kibernetiki im. V.M. Glushkova AN USSR
Published: 1990
Place of publication: Kiev
Language: rus
Number of pages: 116
Subjects: Computer programming.
Notes: Includes bibliographical references.
"Nauchnoe izdanie"--Colophon.
At head of title: Akademii͡a︡ nauk Ukrainskoĭ SSR. Ordena Lenina Institut kibernetiki imeni V.M. Glushkova. Nauchnyĭ sovet AN USSR po probleme "Kibernetika."