Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
 Найдено в других БД:Электронный каталог МУБиНТ, г. Ярославль (1)
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.47.23$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
 1..3 
1.
519.7/8
К19

    Кандрашина, Е. Ю.
    Представление знаний о времени и пространстве в интеллектуальных системах [Текст] : научное издание / Е.Ю. Кандрашина, Л.В. Литвинцева, Д.А. Поспелов. - М. : Наука. Гл.ред. физ.-мат. лит., 1989. - 328 с. : рис., схем, табл. - (Проблемы искусственного интеллекта). - Библиогр.: с. 328. - ISBN 5-02-014096-1 (в пер.) : 2.70 р.
ГРНТИ
27.47.23
УДК
519.7/8

Кл.слова (ненормированные):
ИНЖЕНЕРИЯ -- ЛОГИКА -- МОДЕЛЬ -- КУЛЬТУРА -- ИСКУССТВО -- ЧЕЛОВЕК

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Литвинцева, Л.В.; Поспелов, Д.А.
Свободных экз. нет
Найти похожие
2.
519.7/8
К56

    Ковальски, Р.
    Логика в решении проблем [Текст] : пер. с англ. / Р. Ковальски. - М. : Наука. Гл.ред. физ.-мат. лит., 1990. - 278 с. : рис. - Библиогр.: с. 263-271. -Имен. указ.: с.272-273. -Предм. указ.: с. 273-278. - ISBN 5-02-014148-8 (в пер.) : 4.00 р.
ГРНТИ
27.47.23
УДК
519.7/8

Кл.слова (ненормированные):
КЛАУЗЫ ХОРНА -- КЛАУЗАЛЬНАЯ -- ЛОГИКА -- ПОИСК -- РЕШЕНИЙ -- ГРАФ СОЕДИНЕНИЙ -- ФОРМАЛИЗАЦИЯ -- ДОКАЗУЕМОСТИ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
3.
519.7/8
К89

    Кузнецов, В. Е.
    Представление в ЭВМ неформальных процедур [Текст] : научное издание / В.Е. Кузнецов. - М. : Наука. Гл.ред. физ.-мат. лит., 1989. - 159 с. : рис., схем, табл. - (Проблемы искусственного интеллекта). - Библиогр.: с. 157-159. - ISBN 5-02-014101-1 : 0.65 р.
ГРНТИ
27.47.23
УДК
519.7/8

Кл.слова (ненормированные):
АЛГОРИТМИЧЕСКИЕ -- ПРОДУКЦИОННЫЕ -- МОДЕЛИ -- РЕЖИМ -- ВОЗВРАТОВ -- МАШИНА ПОСТА -- ТЕЗИС ПОСТА -- ХАНОЙСКИЕ БАШНИ -- ЯЗЫК РЕФАЛ -- СИСТЕМЫ -- КАНОНИЧЕСКИЕ -- ИСЧИСЛЕНИЯ ПОСТА -- ЛОГИЧЕСКОЕ -- ПРОГРАММИРОВАНИЕ -- ЯЗЫК ПРОЛОГ -- К - СИСТЕМЫ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
 1..3