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

Базы данных


Электронный каталог - результаты поиска

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :125
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (9)Публикации учёных СГУ (3)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (260)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=математическая логика<.>)
Общее количество найденных документов : 125
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.

Модели, алгоритмы, программы. - 1993
2.

Алгебра и логика. Т. 31 N 1. - 1992
3.

Вычислительные системы. Вып. 139:Теория вычислимости и языки спецификаций. - 1991
4.

Жоль К. К. Логика в лицах и символах/К. К. Жоль. - 1993
5.

Hilbert A. Mathematik/Alfred Hilbert. - 1989
6.

Волгин Л. И. Комплементарная алгебра и моделирование нейронных структур/Л. И. Волгин ; . - 1993
7.

Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов/И. А. Лавров, Л. Л. Максимова. - 1995
8.

Грэй П. Логика, алгебра и базы данных/П. Грэй ; . - 1989
9.

Александрова Р. А. Элементы теории множеств и математической логики/Р. А. Александрова, А. М. Потапова ; . - 1997
10.

Фреге Г. Избранные работы/Г. Фреге ; . - 1997
11.

Непейвода Н. Н. Прикладная логика/Н. Н. Непейвода ; . - 1997
12.

Лихтарников Л. М. Математическая логика/Л. М. Лихтарников, Т. Г. Сукачева. - 1998
13.

Reports on Mathematical Logic. N . 25. - 1991
14.

Reports on Mathematical Logic. N . 26. - 1992
15.

Reports on Mathematical Logic. N . 27. - 1993
16.

Fuzzy Logic. - 1996
17.

Drake Frank R. Intermediate Set Theory/Frank R. Drake, D. Singh. - 1996
18.

Presic Slavisa B. m-M Calculus/Slavisa B. Presic. - 1996
19.

Нейронные сети и нейрокомпьютинг. Вып. 4. - 1999
20.

Гамова А. Н. Математическая логика и теория алгоритмов/А. Н. Гамова. - 1999
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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