TY  - BOOK
AU  - Ляшенко,Н.Н.
AU  - Пономарев,В.М.
ED  - Академия наук СССР
ED  - Ленинградский институт информатики и автоматизации АН СССР
TI  - Методы и алгоритмы индуктивного вывода
PY  - 1989///
CY  - Ленинград
PB  - ЛИИАН
KW  - Математическая индукция
N1  - На обл. авт. не указан; Библиогр.: с. 125-127
ER  -