Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Формат представления найденных документов:
полный	для рабочих программ

Поисковый запрос: (<.>K=Хорна клаузы<.>)

Общее количество найденных документов : 1

681.3
К 563

    Ковальски, Роберт.
    Логика в решении проблем : Пер. с англ. / Роберт Ковальски ; пер. Вячеслав Эрнстович Вольфенгаген, пер. В. Я. Яцук, предисл. и прим. Д. А. Поспелов, пер. Л. Г. Осмоловский. - М. : Наука. Физматлит, 1990. - 280 с. : ил. - (Проблемы искусственного интеллекта). - Библиогр.: с. 263-270. -Имен. указ.: с. 272-273. -Предм. указ.: с. 273-278. - ISBN 5-02-014148-8 (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06:510.6
~РУБ 681.3

Кл.слова (ненормированные):
клаузальная логика -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- Хорна клаузы
Доп.точки доступа:
Осмоловский, Л. Г. \пер.\
Вольфенгаген, Вячеслав Эрнстович \пер.\
Яцук, В. Я. \пер.\
Поспелов, Д. А. \предисл. и прим.\

Свободных экз. нет
Постоянная гиперссылка

Статистика за 09.07.2024
Число запросов	80483
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)