Նորմալ դիտում MARC դիտում ISBD Դիտում

Ляшенко, Н.Н.

Методы и алгоритмы индуктивного вывода / Н.Н. Ляшенко; Отв. ред.: В.М. Пономарев; АН СССР. Ленингр. ин-т информатики и автоматизации. - Ленинград : ЛИИАН, 1989. - 127 с. ил.

На обл. авт. не указан

Библиогр.: с. 125-127

Subjects--Index Terms: Математическая индукция