Подробное описание документа

Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Н. А., Анисов А. М., Быстров П. И. [и др.] ; Российская академия наук ; авт. предисл. Макаров И. М. ; науч. ред. Смирнова Е. Д. - М. : Наука, 1990. - 238 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.: с. 231-237. - ISBN 5-02-007156-0.

УДК
510.6 Математическая логика

Предметные рубрики

Математическая логика

Общее кол-во в фондах
1 экз.

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.313, ГУК, ауд. 313