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

Логика и компьютер : Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, А.М. Анисов, П.И. Быстров и др. ; Науч. ред. Е.Д. Смирнова ; АН СССP. - Москва : Наука , 1990. - 238,[1] с. : ил. ; 20 см. - Кибернетика - неограниченные возможности и возможные ограничения .

Авт. указаны на обороте тит. л.

Библиогр.: с. 231-235 (52 назв.)

ISBN: 5-02-007156-0

Subjects--Topical Terms:
Вычислительные машины--Программирование--Логические основы