Logika i kompʹi͡u︡ter
Subtitle: modelirovanie rassuzhdeniĭ i proverka pravilʹnosti programm
By: [avtory, N.A. Aleshina ... et al. ; redakt͡s︡ionnai͡a︡ kollegii͡a︡, I.M. Makarov (predsedatelʹ) ... et al.].
Contributors: Aleshina, N. A.; Makarov, Igorʹ Mikhaĭlovich.
Series: Serii͡a︡ "Kibernetika, neogranichennye vozmozhnosti i vozmozhnye ogranichenii͡a︡"; Logika i kompʹi͡u︡ter ;; vyp. [1]
Publisher: "Nauka"
Published: 1990
Place of publication: Moskva
Language: rus
Number of pages: 238
Subjects: Computer programming.
Other titles: Modelirovanie rassuzhdeniĭ i proverka pravilʹnosti programm
Notes: Includes bibliographical references (p. 231-[234]).
"Nauchnoe izdanie"--Colophon.
At head of title: Akademii͡a︡ nauk SSSR.
Table of contents also in English.