3 results
Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
Toggle navigation
Вход
Язык
Русский
Белорусский
English
Deutsch
Español
Français
中文（繁體）
Polski
Все поля
Заглавие
Автор/Создатель
Предмет
ISBN/ISSN/...
Найти
Расширенный поиск
Все поля
Заглавие
Автор/Создатель
Предмет
ISBN/ISSN/...
Найти
Расширенный поиск
Автор/Создатель
Деметрович, Я.
Отображение
1
-
3
из
3
для поиска:
'Деметрович, Я.'
, время запроса: 0.08сек.
Результаты на странице
20
50
100
Сортировка
Релевантность
Дата (по убыванию)
Дата (по возрастанию)
Автор
Заглавие
Выбрать все | снять выделение
Выбранные записи:
1
Вопросы полноты для предельных логик: (01.01.09): Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук / [МГУ]. Фак. вычислит. математики и кибернетики. Кафедра теории автоматов и мат. логики. - М. : Изд-во Моск. ун-та, 1973. - 112 с.
Автор
Деметрович
,
Я
.
“
...
Деметрович
Я
. Янош...
”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
2
О строении клона Бурле на трехэлементном множестве. - Новосибирск, 1987. - 44 с. - (Препр. ; № 1)
Автор
Деметрович
,
Я
.
“
...
Деметрович
Я
. Янош...
”
Книги
Добавить в Избранное
Сохранено в:
3
Автоматизированные методы спецификации / Я. Деметрович, Е. Кнут [!Э. Кнут], П. Радо. - Москва : Мир, 1989. - 115 с.
Автор
Деметрович
,
Я
.
“
...
Деметрович
Я
. Янош...
”
Книги
Добавить в Избранное
Сохранено в:
Выбрать все | снять выделение
Выбранные записи:
Инструменты поиска:
RSS-поток
—
Отправить результаты поиска по Email
—
Сохранить запрос
Связанные темы
Вычислительные системы - Программы - Спецификация
Математическая логика
Множеств, теория
×
Загрузка...