Поиск :
Личный кабинет :
Электронный каталог: ЛОГИЧЕСКИЕ ЯЗЫКИ, СОДЕРЖАТЕЛЬНЫЕ РАССУЖДЕНИЯ И МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВ
ЛОГИЧЕСКИЕ ЯЗЫКИ, СОДЕРЖАТЕЛЬНЫЕ РАССУЖДЕНИЯ И МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВ
Доступно
1 из 1
1 из 1
Книга
Автор:
ЛОГИЧЕСКИЕ ЯЗЫКИ, СОДЕРЖАТЕЛЬНЫЕ РАССУЖДЕНИЯ И МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВ
Серия: Кибернетика - неограниченные возможности и воозможные ограничения
Издательство: Наука, 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. ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА..