Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Формат представления найденных документов:
полный
информационный
краткий
Поисковый запрос:
(<.>S=Математическая логика -- Монографии<.>)
Общее количество найденных документов
:
1
>
1.
51
Л694
Логический подход к
искусственному интеллекту : От классической
логики
к логическому программированию / А. Тейз [и др.] ; пер. с фр. П. П. Пермякова ; под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429 с. : ил. ; 21 см. - Библиогр.: с. 411-417 (115 назв.). - Предм. указ.: с. 418-423. -
Пер. изд. :
Approche logique de l'intelligence artificielle / Andrè Thayse, Pascal Gribomont, Georges Louis. - Paris. - 20000 экз.. -
ISBN
5-03-001636-8 (в пер.) : 2.90 р.
ГРНТИ
27.03.19
УДК
510.6
007
Рубрики:
Математическая
логика
--
Монографии
Кл.слова (ненормированные):
математическая
логика
--
логическое программирование
--
искусственный интеллект
--
монографии
Доп.точки доступа:
Тейз, Андре; Грибомон, Паскаль; Луи, Жорж; Снийерс, Доминик; Пермяков, П. П. \пер.\; Гаврилов, Г. П. \ред.\; Thayse, Andrè; Gribomont, Pascal; Louis, Georges
Экземпляры всего:
3
чз (2), зал ППС (1)
Свободны:
чз (2), зал ППС (1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога