Метакидес, Г. - Принципы логики и логического программирования [Текст]
Карточка
Экспресс-заказ фрагмента
Метакидес, Г.
Принципы логики и логического программирования [Текст] / Г. Метакидес, А. Нероуд; Пер. с англ. В. А. Захарова и др. под ред. В. А. Садовничего и В. А. Захарова. - Москва : Факториал, 1998. - 288 с. : ил., табл.; 22 см.; ISBN 5-88688-037-2
Доп. тит. л. Амстердам. изд. ect., англ.
Математическая логика -- Пособие для специалистов
Математическая логика
логическое программирование
Шифр хранения:
Принципы логики и логического программирования [Текст] / Г. Метакидес, А. Нероуд; Пер. с англ. В. А. Захарова и др. под ред. В. А. Садовничего и В. А. Захарова. - Москва : Факториал, 1998. - 288 с. : ил., табл.; 22 см.; ISBN 5-88688-037-2
Доп. тит. л. Амстердам. изд. ect., англ.
Математическая логика -- Пособие для специалистов
Математическая логика
логическое программирование
Шифр хранения:
FB 1 98-15/96-0
FB 1 98-15/97-9
Описание
Автор | Метакидес, Г. |
---|---|
Заглавие | Принципы логики и логического программирования [Текст] |
Коллекции ЭК РГБ | Каталог документов с 1831 по настоящее время |
Дата поступления в ЭК РГБ | 01.12.1998 |
Каталоги | Книги (изданные с 1831 г. по настоящее время) |
Сведения об ответственности | Г. Метакидес, А. Нероуд; Пер. с англ. В. А. Захарова и др. под ред. В. А. Садовничего и В. А. Захарова |
Выходные данные | Москва : Факториал, 1998 |
Физическое описание | 288 с. : ил., табл.; 22 см |
ISBN | ISBN 5-88688-037-2 |
Тема | Математическая логика -- Пособие для специалистов |
Термины-указатели | Математическая логика |
логическое программирование | |
Общие примечания | Доп. тит. л. Амстердам. изд. ect., англ. |
BBK-код | В12,07 |
Язык | Русский |
Места хранения | FB 1 98-15/96-0 |
FB 1 98-15/97-9 |