Metody i algoritmy induktivnogo vyvoda
By: N.N. Li͡ashenko ; otvetstvevnnyĭ redaktor V.M. Ponomarev.
Contributors: Ponomarev, Valentin Mikhaĭlovich.
Publisher: Akademii͡a nauk SSSR, Leningradskiĭ in-t informatiki i avtomatizat͡sii
Published: 1989
Place of publication: Leningrad
Language: rus
Number of pages: 127
Subjects: Induction (Mathematics); Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 125-127).