| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :17
 В других БД по вашему запросу найдено:Электронный каталог (13)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=модальная логика<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 17
1.

Логические исследования. Вып. 1. - 1993
2.

Логические исследования. Вып. 6. - 1999
3.

Достоверный и правдоподобный вывод в интеллектуальных системах/В. Н. Вагин [и др.]. - 2004
4.

Жоль К. К. Логика/К. К. Жоль. - 2004
5.

Символическая логика/С.-Петерб. гос. ун-т. - 2005
6.

Ивин А. А. Логика/А. А. Ивин. - 2005
7.

Ивин А. А. Логика/А. А. Ивин. - 2003
8.

Лобовиков В. О. Математическая этика, метафизика и естественное право. (Алгебра метафизики как алгебра формальной аксиологии)/В. О. Лобовиков ; отв. ред. Н. В. Бряник. - 2007
9.

Достоверный и правдоподобный вывод в интеллектуальных системах/В. Н. Вагин [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. - 2008
10.

Гетманова А. Д. Логика/А. Д. Гетманова. - 2002
11.

Девятков В. В. Системы искусственного интеллекта/В. В. Девятков. - 2001
12.

Ивин А. А. Логика норм/А. А. Ивин. - 1973
13.

Теория логического вывода/Ин-т философии (Москва). - 1973
14.

Бочаров В. А. Введение в логику. Университетский курс/В. А. Бочаров, В. И. Маркин. - 2008
15.

Ивин А. А. Строгий мир логики/А. А. Ивин. - 1988
16.

Бочаров В. А. Введение в логику. Университетский курс/В. А. Бочаров, В. И. Маркин. - 2011
17.

Биркгоф Г. Теория решеток/Г. Биркгоф. - 1984
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)