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

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

Метки из этой библиотеки: Меток нет.

Зарегистрируйтесь, чтобы добавлять метки.

Тип единицы	Местонахождение	Состояние
Книги, брошюры	Брестская областная библиотека. Общий читальный зал	Выдается
Книги, брошюры	Брестская областная библиотека. Отдел хранения основного фонда	Выдается

Авт. указ. на обор. тит. листа

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

50000 экз.

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

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

Зводны электронны каталог бібліятэк Брэсцкай вобласці