Logika i kompʹi︠u︡ter
Subtitle: pust dokazhet kompʹi︠u︡ter
By: [avtory, A.E. Bolotov ... et al. ; redakt︠s︡ionnai︠a︡ kollegii︠a︡, I.M. Makarov (predsedatelʹ) ... et al.].
Contributors: Rossiĭskai︠a︡ akademii︠a︡ nauk
Series: Logika i kompʹi︠u︡ter -- vyp. [5]; "Informatika, neogranichennye vozmozhnosti i vozmozhnye ogranichenii︠a︡"
Publisher: "Nauka"
Published: 2004
Place of publication: Moskva
Language: rus
Number of pages: 206
Subjects: Computer science; Mathematics; Computer programming; Logic
Notes: "Nauchnoe izdanie".

At head of title: Rossiĭskai︠a︡ Akademii︠a︡ Nauk.

Includes bibliographical references (p. 193-[204]).