Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Метакидес, Г.
Принципы логики и логическое программирование / Г. Метакидес, А. Нероуд ; пер. с англ. В. А. Захарова, С. Н. Селезневой, В. В. Спануполо. - Москва : Факториал, 1998. - 288 c. - Библиогр. : с. 275-278. - Парал. тит. л. на англ. яз. . - ISBN 5886880372
Кл.слова (ненормированные):
математическая логика -- семантические таблицы -- логическое программирование -- резолютивный вывод -- искусственный интеллект -- языки программирования -- логика высказываний -- логика предикатов -- логика и программирование
Доп.точки доступа:
Нероуд, А.
Захаров, В. А. \пер.\
Селезнева, С. Н. \пер.\
Спануполо, В. В. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Метакидес, Г.
Принципы логики и логическое программирование / Г. Метакидес, А. Нероуд ; пер. с англ. В. А. Захарова, С. Н. Селезневой, В. В. Спануполо. - Москва : Факториал, 1998. - 288 c. - Библиогр. : с. 275-278. - Парал. тит. л. на англ. яз. . - ISBN 5886880372
| УДК |
Кл.слова (ненормированные):
математическая логика -- семантические таблицы -- логическое программирование -- резолютивный вывод -- искусственный интеллект -- языки программирования -- логика высказываний -- логика предикатов -- логика и программирование
Доп.точки доступа:
Нероуд, А.
Захаров, В. А. \пер.\
Селезнева, С. Н. \пер.\
Спануполо, В. В. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Страница 1, Результатов: 1