Логика и компьютер : Моделирование рассуждений и проверка правильности прогр. / [Н.А. Алешина, А.М. Анисов, П.И. Быстров и др. ; Науч. ред. Е.Д. Смирнова ; Авт. предисл. И.М. Макаров] ; АН СССР
Язык: русский.Выходные данные: М. : Наука, 1990Физическая характеристика: 238, [1] с. : ил. ; 20 см.ISBN: 5-02-007156-0 Серия: Серия "Кибернетика - неограниченные возможности и возможные ограничения" Примечания: Авт. указаны на обороте тит. л..Библиография: Библиогр.: с. 231-235 (52 назв.). Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 90-3/11474 (Просмотр полки(Открывается ниже)) | Доступно | 5488478-10 |
Авт. указаны на обороте тит. л.
Библиогр.: с. 231-235 (52 назв.)