Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Електронний каталог ЖОУНБ ім. О. Ольжича

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

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=исчисление предикатов<.>

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

Элти Дж. Экспертные системы: концепции и примеры/Дж. Элти, М. Кумбс ; пер. с англ. Б. И. Шитикова. - 1987

Поспелов Д. А. Моделирование рассуждений. Опыт анализа мыслительных актов/Д. А. Поспелов. - 1989

Новиков П. С. Элементы математической логики/П. С. Новиков. - 1973

Мендельсон Э. Введение в математическую логику/Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 1976

Ершов Ю. Л. Математическая логика/Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 1987

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