Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Найдено в других БД:
Электронные издания ВСГУТУ (1)
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=логика предикатов<.>)
Общее количество найденных документов
:
9
Показаны документы
с 1 по 9
>
1.
Бочаров В.А. Основы
логики
/В.А. Бочаров, В.И. Маркин. - 1999
>
2.
Девятков В.В. Системы искусственного интеллекта/В.В. Девятков. - 2001
>
3.
Жоль К.К.
Логика
/К. К. Жоль. - 2004
>
4.
Лихтарников Л.М. Математическая
логика
/Л.М. Лихтарников, Т.Г. Сукачева. - 2008
>
5.
Игошин В.И. Математическая
логика
и теория алгоритмов/В.И. Игошин. - 2008
>
6.
Игошин В.И. Задачи и упражнения по математической
логике
и теории алгоритмов/В.И. Игошин. - 2008
>
7.
Ездаков А. Л. Экспертные системы САПР/А. Л. Ездаков. - 2013
>
8.
Попов Ю. П.
Логика
/Ю. П. Попов. - 2015
>
9.
Конспекты лекций и упражнения по курсу "Математическая
логика
(
Логика
предикатов
)"/сост.: Л. П. Петрова, Б. Н. Садовский
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога