Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер: Моделирование рассуждений и проверка правильности прогр.
Логика и компьютер: Моделирование рассуждений и проверка правильности прогр.
Доступно
2 из 2
2 из 2
Книга
Автор:
Логика и компьютер: Моделирование рассуждений и проверка правильности прогр.
Издательство: Наука, 1990 г.
ISBN отсутствует
Автор:
Логика и компьютер: Моделирование рассуждений и проверка правильности прогр.
Издательство: Наука, 1990 г.
ISBN отсутствует
Заказать 
На полку
Книга
I-3 Л-694
Логика и компьютер: Моделирование рассуждений и проверка правильности прогр. / Н. А. Алешина, А. М. Анисов, П. И. Быстров, др., Е. Д. Смирнова . – М. : Наука, 1990 . – 238 с. : ил. + Библиогр.:с.231-235 . - (АН СССР). : руб. 0.65 .
510.6:681.3.06
625297 01:Книгохранение
625298 01:Книгохранение
I-3 Л-694
Логика и компьютер: Моделирование рассуждений и проверка правильности прогр. / Н. А. Алешина, А. М. Анисов, П. И. Быстров, др., Е. Д. Смирнова . – М. : Наука, 1990 . – 238 с. : ил. + Библиогр.:с.231-235 . - (АН СССР). : руб. 0.65 .
510.6:681.3.06
625297 01:Книгохранение
625298 01:Книгохранение