Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Генеральный сводный каталог РНТБ и филиалов"- результаты поиска

Вид поиска
Тестовая библиотечная БД
БД "Электронный каталог РНТБ"
БД "Регистрационная картотека периодических изданий РНТБ"
БД "Стандарты"
БД "Диссертации"
БД "Нормативно-техническая документация"
БД "Промышленные каталоги"
БД "Генеральный сводный каталог РНТБ и филиалов"
БД "Полнотекстовые ресурсы удаленного доступа"
БД "Нормативно-технические документы РНТБ и филиалов. Сводный каталог"
Область поиска
 Найдено в других БД:БД "Электронный каталог РНТБ" (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=логическое программирование<.>
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
   519/A35

   
    Algebraic and Logic Programming [Text] : 4th International Conference,Madrid,Spain,Sept.1994.Proceedings / Levi G.,Rodriguez-Artalejo(Eds.). - Berlin;Heidelberg etc. : Springer, 1994. - VIII,304 p. - (Lecture Notes in Computer Science;850). - ISBN 3-540-58431-5 : Б. ц.
УДК
519.85
Рубрики: Математическое программирование
Кл.слова (ненормированные):
Алгебраическое программирование -- Логическое программирование -- Конференция -- Труды

Держатели документа:
Республиканская научно-техническая библиотека Казахстана
Экземпляры всего: 1
ИО (1)
Свободны: ИО (1)
Найти похожие
2.
   51(07)
   И 268

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2010. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 : 3830.00 тг.
ГРНТИ
27.03.19
27.03.17
УДК
510.6(07)
510.5(07)
Рубрики: Математическая логика--Учебники и учебные пособия
   Алгоритмов теория --Учебники и учебные пособия
Кл.слова (ненормированные):
алгебра высказываний -- тавтолигии -- логическое следование формул -- логико-математическая практика -- прямая теорема -- обратная теорема -- закон контрапозиции -- булевые функции -- релейно-контактные схемы -- система аксиом -- логика предикатов -- аксиоматические теории -- теории первого порядка -- машины Тьюринга -- рекурсивные функции -- нормальные алгоритмы Маркова -- разрешимость множеств -- перечислимость множеств -- логическое программирование -- информатика -- искусственный интеллект -- компьютеры

Держатели документа:
Восточно-Казахстанский филиал РНТБ Казахстана
Экземпляры всего: 1
05-ОБ (1)
Свободны: 05-ОБ (1)
Найти похожие
3.
   004.8(07)
   С 347

    Сидоркина, Ирина Геннадьевна.
    Системы искусственного интеллекта [Текст] : учебное пособие / И. Г. Сидоркина. - М. : КНОРУС, 2014. - 245 с. - Библиогр.: с. 244 (34 назв.). - ISBN 978-5-406-03503-0 : 2250.00 тг.
ГРНТИ
50.41.25
УДК
004.8(075.8)
Рубрики: Искусственный интеллект--проектирование систем--Учебники и учебные пособия
Кл.слова (ненормированные):
базы данных -- логическое программирование -- экспертные системы -- нейронные сети -- интеллектуальные технологии -- ЭО КАРРА -- ИО CLIPS

Держатели документа:
Восточно-Казахстанский филиал РНТБ Казахстана
Экземпляры всего: 1
05-ОБ (1)
Свободны: 05-ОБ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)