Электронный каталог МПГУ -Логика и компьютер. Доказательство и его поиск, (Курс логики и компьютерный практикум) / В. А. Смирнов, В. И. Маркин, А. Е. Новодворский, А. В. Смирнов- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Логика и компьютер. Доказательство и его поиск, (Курс логики и компьютерный практикум) / В. А. Смирнов, В. И. Маркин, А. Е. Новодворский, А. В. Смирнов

Логика и компьютер. Доказательство и его поиск, (Курс логики и компьютерный практикум) / В. А. Смирнов, В. И. Маркин, А. Е. Новодворский, А. В. Смирнов

Доступно
1 из 1

Книга
Автор:
Вып. 3: Логика и компьютер. Доказательство и его поиск
Серия: Кибернетика: неограниченные возможности и возможные ограничения
Издательство: Наука, 1996 г.
ISBN 5-02-013603-4

Заказать

На полку

Книга
16 Л694

Вып. 3 : (Курс логики и компьютерный практикум) / В. А. Смирнов, В. И. Маркин, А. Е. Новодворский, А. В. Смирнов : Логика и компьютер / Рос. акад. наук. – Москва : Наука, 1996. – 254, 1 с. : табл. + Прил. (1 дискета). – (Кибернетика: неограниченные возможности и возможные ограничения). – Авт. указаны на обороте тит. л. – На рус. яз. – ISBN 5-02-013603-4 : 17000.00.

ББК 22.122с51
ББК 32.973.2-018

техника = техника : вычислительная техника
техника = техника : вычислительная техника : аппаратные средства вычислительной техники : компьютеры
основной = логические системы
основной = математика
основной = математика : математическая логика
основной = виды изданий : научные издания
техника = техника : вычислительная техника : программирование
основной = DEDUCTIO
техника = техника : вычислительная техника : программное обеспечение компьютеров
техника = техника : вычислительная техника : программное обеспечение компьютеров

00000000606629 МАТН 16 Л694