Поиск :
Личный кабинет :
Электронный каталог: Логика и компьютер. Доказательство и его поиск, (Курс логики и компьютерный практикум) / В. А. Смирнов, В. И. Маркин, А. Е. Новодворский, А. В. Смирнов
Логика и компьютер. Доказательство и его поиск, (Курс логики и компьютерный практикум) / В. А. Смирнов, В. И. Маркин, А. Е. Новодворский, А. В. Смирнов
Доступно
1 из 1
1 из 1
Книга
Автор:
. Вып. 3: Логика и компьютер. Доказательство и его поиск
Серия: Кибернетика: неограниченные возможности и возможные ограничения
Издательство: Наука, 1996 г.
ISBN 5-02-013603-4
Автор:
. Вып. 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
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