Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог книг и продолжающихся изданий- результаты поиска

Вид поиска
Авторефераты диссертаций и диссертации
Отечественные журналы
Препринты
Электронный каталог книг и продолжающихся изданий
База ученого секретаря
Пресса об ИЯФ
Труды сотрудников ИЯФ (пополняемая)
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Логика (мат.) -- Теория алгоритмов<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   В127
   М 21

    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции / А. И. Мальцев. - Изд. 2-е. - Москва : Наука, 1986. - 367 с. ; 21 см. - Прил.: Диофантность рекурсивно перечислимых множеств и предикатов / Д. А. Захаров. - 10 400 экз.. -
27.03
ББК В127
Рубрики: Логика (мат.)--Теория алгоритмов

Перейти к внешнему ресурсу: Оглавление

Доп.точки доступа:
Захаров, Д. А.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
2.
   В127
   М 21

    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции / А. И. Мальцев. - Москва : Наука, 1965. - 391 с. ; 21 см. - 13 000 экз.. -
27.03
ББК В127
Рубрики: Логика (мат.)--Теория алгоритмов

Перейти к внешнему ресурсу: Оглавление
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)