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