Mashina dokazyvaet
By: V.M. Glushkov
Series: Novoe v zhizni, nauke, tekhnike. Serii︠a︡ "Matematika, kibernetika" -- No 12, 1981 g; Novoe v zhizni, nauke, tekhnike -- 1981, no. 12
Publisher: Izd-vo "Znanie"
Published: 1981
Place of publication: Moskva
Language: rus
Number of pages: 61
Subjects: Symbolic and mathematical Logic
Notes: Bibliography: p. [62]