Поиск :
Личный кабинет :
Электронный каталог: ЛОГИЧЕСКИЕ ЯЗЫКИ, СОДЕРЖАТЕЛЬНЫЕ РАССУЖДЕНИЯ И МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВ
ЛОГИЧЕСКИЕ ЯЗЫКИ, СОДЕРЖАТЕЛЬНЫЕ РАССУЖДЕНИЯ И МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВ
Книга
Автор:
ЛОГИЧЕСКИЕ ЯЗЫКИ, СОДЕРЖАТЕЛЬНЫЕ РАССУЖДЕНИЯ И МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВ
Серия: Кибернетика - неограниченные возможности и воозможные ограничения
Издательство: Наука, 1995 г.
ISBN 5-02-006896-9
Автор:
ЛОГИЧЕСКИЕ ЯЗЫКИ, СОДЕРЖАТЕЛЬНЫЕ РАССУЖДЕНИЯ И МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВ
Серия: Кибернетика - неограниченные возможности и воозможные ограничения
Издательство: Наука, 1995 г.
ISBN 5-02-006896-9
Книга
87.4 Л69
1825303 ОСН
ЛОГИЧЕСКИЕ ЯЗЫКИ, СОДЕРЖАТЕЛЬНЫЕ РАССУЖДЕНИЯ И МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВ.– Москва : Наука, 1995.– 131 С.– (Кибернетика - неограниченные возможности и воозможные ограничения)
ISBN 5-02-006896-9.
ББК 87.4
ББК 32.971.32
-- 1. 1. ЛОГИКА. 2. ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА..
87.4 Л69
1825303 ОСН
ЛОГИЧЕСКИЕ ЯЗЫКИ, СОДЕРЖАТЕЛЬНЫЕ РАССУЖДЕНИЯ И МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВ.– Москва : Наука, 1995.– 131 С.– (Кибернетика - неограниченные возможности и воозможные ограничения)
ISBN 5-02-006896-9.
ББК 87.4
ББК 32.971.32
-- 1. 1. ЛОГИКА. 2. ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА..
Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
---|---|---|---|---|---|
ОСН | Общий | 1 | 1 | 1 | Заказать |