Логика и компьютер : моделирование рассуждений и проверка правильности программ / [Н. А. Алешина и др. ; научный редактор Е. Д. Смирнова] ; Академия наук СССР

Автор(ы): Алешина, Наталия Альбертовна;
                   Смирнова, Елена Дмитриевна, доктор философских наук, род. 1929Ответственные организации: Академия наук СССРЯзык документа: Русский.Страна публикации: RU.Издательство: Москва : Наука, 1990Физическая характеристика: 238, [1] с. : ил. ; 20 смISBN:5-02-007156-0.ББК: 32.971.3 ; 32.973Note(s): Библиография: с. 231-235 (52 назв.).Наименование темы, используемое как предмет: ПЭВМ | ЛОГИКА | РАССУЖДЕНИЕ | ИНФОРМАТИКА | ПРОГРАММИРОВАНИЕ
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
    средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Книги, брошюры Книги, брошюры
Гомельская городская ЦБС. Филиал 3
Выдается

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

Нет никаких комментариев для этого документа.

Войти в учётную запись для возможности публиковать комментарии.
Языки: