Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=конструктивный анализ<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : Pr1084/Pr1084/1981-19
Автор(ы) : Smith, Jan
Заглавие : Course-of-values recursion on lists in intuitionistic type theory : сборник
Выходные данные : Goteborg, 1981
Колич.характеристики :26 l
Серия: Publicationes/ Chalmers institute of technology and the University of Goteborg. Department of mathematics; № 1981-19
Примечания : Bibliogr.: l. 26
Цена : 39 р.
ГРНТИ : 27.03
ББК : В127 + В123
Предметные рубрики: Рекурсивные функции
Интуиционистская логика математическая
Типов теория
Дескрипторы: сб пр--моногр
Ключевые слова (''Своб.индексиров.''): конструктивный анализ
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН