Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
Хоггер, Кристофер Джон.
введение в логическое программирование / К. Хоггер ; пер. с англ. М. В. Захарьящева. - Москва : Мир, 1988. - 348 с. : ил.. - ISBN 5030004904
Кл.слова (ненормированные):
логическое программирование -- логические программы
Доп.точки доступа:
Захарьящев, М. В. \пер.\
Свободных экз. нет
Хоггер, Кристофер Джон.
введение в логическое программирование / К. Хоггер ; пер. с англ. М. В. Захарьящева. - Москва : Мир, 1988. - 348 с. : ил.. - ISBN 5030004904
| УДК |
Кл.слова (ненормированные):
логическое программирование -- логические программы
Доп.точки доступа:
Захарьящев, М. В. \пер.\
Свободных экз. нет
2.
Подробнее
ДСМ-метод автоматического порождения гипотез : логические и эпистемологические основания / Российский государственный гуманитарный университет, Российская академия наук, Всероссийский институт научной и технической информации ; сост. : О. М. Аншаков, Е. Ф. Фабрикантова ; под общ. ред. О. М. Аншакова. - Москва : [ЛИБРОКОМ], [2009]. - 430 с. : ил., табл. - Библиогр. в конце гл.. - ISBN 9785397006361
ББК 32.813
Рубрики: искусственный интеллект--монографии
Кл.слова (ненормированные):
ДСМ-метод -- автоматическое порождение гипотез -- математическая логика -- индукция (логика) -- абдукция (логика) -- аналогия (логика) -- правдоподобные рассуждения (логика) -- Поппера принцип фальсификации -- эвристика (математическая логика) -- интеллектуальный анализ данных -- интеллектуальные системы -- логические программы -- обобщенные кванторы
Доп.точки доступа:
Аншаков, О. М. \сост.\
Фабрикантова, Е. Ф. \сост.\
Российский государственный гуманитарный университет
Российская академия наук. Всероссийский институт научной и технической информации
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
ДСМ-метод автоматического порождения гипотез : логические и эпистемологические основания / Российский государственный гуманитарный университет, Российская академия наук, Всероссийский институт научной и технической информации ; сост. : О. М. Аншаков, Е. Ф. Фабрикантова ; под общ. ред. О. М. Аншакова. - Москва : [ЛИБРОКОМ], [2009]. - 430 с. : ил., табл. - Библиогр. в конце гл.. - ISBN 9785397006361
| УДК |
Рубрики: искусственный интеллект--монографии
Кл.слова (ненормированные):
ДСМ-метод -- автоматическое порождение гипотез -- математическая логика -- индукция (логика) -- абдукция (логика) -- аналогия (логика) -- правдоподобные рассуждения (логика) -- Поппера принцип фальсификации -- эвристика (математическая логика) -- интеллектуальный анализ данных -- интеллектуальные системы -- логические программы -- обобщенные кванторы
Доп.точки доступа:
Аншаков, О. М. \сост.\
Фабрикантова, Е. Ф. \сост.\
Российский государственный гуманитарный университет
Российская академия наук. Всероссийский институт научной и технической информации
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Стерлинг, Леон.
Искусство программирования на языке Пролог / Л. Стерлинг, Э. Шапиро ; пер. с англ. С. Ф. Сопрунова, Л. В. Шабанова. - Москва : Мир, 1990. - 333 с. : ил. - Библиогр. : с. 318-323. - ISBN 5030004068
Парал. тит. л. на англ. яз. Предметный указатель : с. 324-328. Приложение : с. 312-323
Рубрики: Пролог, язык программирования
Кл.слова (ненормированные):
языки программирования для систем искусственного интеллекта -- логическое программирование -- компьютерное программирование -- программирование баз данных -- рекурсивное программирование -- логические программы -- программирование на языке Пролог -- программирование недетериминированное -- матаингерпретаторы -- экспертные системы -- кампиляторы -- Пролог-системы
Доп.точки доступа:
Шапиро, Эгуд
Сопрунов, С. Ф. \пер.\
Шабанов, Л. В. \пер.\
Экземпляры всего: 4
Абонемент учебной и научной литературы (402) (3), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (402) (3), Хранение Отдела организации и использования фонда (1)
Стерлинг, Леон.
Искусство программирования на языке Пролог / Л. Стерлинг, Э. Шапиро ; пер. с англ. С. Ф. Сопрунова, Л. В. Шабанова. - Москва : Мир, 1990. - 333 с. : ил. - Библиогр. : с. 318-323. - ISBN 5030004068
Парал. тит. л. на англ. яз. Предметный указатель : с. 324-328. Приложение : с. 312-323
| УДК |
Рубрики: Пролог, язык программирования
Кл.слова (ненормированные):
языки программирования для систем искусственного интеллекта -- логическое программирование -- компьютерное программирование -- программирование баз данных -- рекурсивное программирование -- логические программы -- программирование на языке Пролог -- программирование недетериминированное -- матаингерпретаторы -- экспертные системы -- кампиляторы -- Пролог-системы
Доп.точки доступа:
Шапиро, Эгуд
Сопрунов, С. Ф. \пер.\
Шабанов, Л. В. \пер.\
Экземпляры всего: 4
Абонемент учебной и научной литературы (402) (3), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (402) (3), Хранение Отдела организации и использования фонда (1)
Страница 1, Результатов: 3