TY  - BOOK
AU  - Ляшенко, Н.Н.
TI  - Методы и алгоритмы индуктивного вывода
PY  - 1989///
CY  - Л.
PB  - ЛИИАН
N2  - Библиогр.: с. 125-127 (44 назв.)
ER  -