Полное описание
>
(Свободных экземпляров нет)
Метакидес, Г. Принципы логики и логического программирования / Г.Метакидес,А.Нероуд;Пер. с англ. В.А.Захарова и др.; Под ред. В.А.Садовничего, В.А.Захарова. - М. : Факториал, 1998. - 288 с. : ил. - Пер. изд.: Principles of logic and logic programming / G. Metakides, A. Nerode. - Amsterdam et al., 1996. - 1000 экз. - ISBN 5-88688-037-2 : Б. ц. - Текст : непосредственный.
Библиогр.: с.275-278. Предм. указ.: с.279-285
ГРНТИ | УДК | |
50.05.19 | 510 | |
004.42.047 |
Рубрики:
Математическая логика
Программирование для ЭВМ логическое
Доп. точки доступа:
Нероуд, А.
Metakides, G.
Nerode, A.
>
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободных экз. нет
Экз.Э98-45449 (ХР) занят;
Заказаны экз-ры для отделов: ХР