Բեռնվում է…

Методы и алгоритмы индуктивного вывода /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Ляшенко, Н.Н
Համատեղ հեղինակներ: Академия наук СССР, Ленинградский институт информатики и автоматизации АН СССР
Այլ հեղինակներ: Пономарев, В.М (Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
Հրապարակվել է: Ленинград : ЛИИАН, 1989.
Խորագրեր:
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
Նկարագրություն
Նյութի նկարագրություն:На обл. авт. не указан
Ֆիզիկական նկարագրություն:127 с. ил.
Մատենագիտություն:Библиогр.: с. 125-127