Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 260
Показаны документы с 1 по 20 |
|
1.
| Модели, алгоритмы, программы. - 1993
|
2.
| Алгебра и логика. Т. 31 N 1. - 1992
|
3.
| Вычислительные системы. Вып. 139:Теория вычислимости и языки спецификаций. - 1991
|
4.
| Hilbert A. Mathematik/Alfred Hilbert. - 1989
|
5.
| Гончаров С. С. Введение в логику и методологию науки/С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - 1994
|
6.
| Волгин Л. И. Комплементарная алгебра и моделирование нейронных структур/Л. И. Волгин ; . - 1993
|
7.
| Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов/И. А. Лавров, Л. Л. Максимова. - 1995
|
8.
| Грэй П. Логика, алгебра и базы данных/П. Грэй ; . - 1989
|
9.
| Александрова Р. А. Элементы теории множеств и математической логики/Р. А. Александрова, А. М. Потапова ; . - 1997
|
10.
| Фреге Г. Избранные работы/Г. Фреге ; . - 1997
|
11.
| Лихтарников Л. М. Математическая логика/Л. М. Лихтарников, Т. Г. Сукачева. - 1998
|
12.
| Reports on Mathematical Logic. N . 25. - 1991
|
13.
| Reports on Mathematical Logic. N . 26. - 1992
|
14.
| Reports on Mathematical Logic. N . 27. - 1993
|
15.
| Fuzzy Logic. - 1996
|
16.
| Drake Frank R. Intermediate Set Theory/Frank R. Drake, D. Singh. - 1996
|
17.
| Presic Slavisa B. m-M Calculus/Slavisa B. Presic. - 1996
|
18.
| Нейронные сети и нейрокомпьютинг. Вып. 4. - 1999
|
19.
| Гамова А. Н. Математическая логика и теория алгоритмов/А. Н. Гамова. - 1999
|
20.
| Волгин Л. И. Реляторные процессоры на основе графа Паскаля для адресно-ранговой идентификации, селекции и ранжирования аналоговых сигналов/Л. И. Волгин. - 2000
|
|
|
|
Электронный каталог
Стандартный (по одному полю)