Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Формат представления найденных документов:
полный	для рабочих программ

Поисковый запрос: (<.>K=теория вычислимости<.>)

Общее количество найденных документов : 1

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 139 : Теория вычислимости и языки спецификаций : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1991. - 192[2] с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-0102-8 (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
519.682
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- теория вычислимости -- языки спецификаций -- ПРИКЛАДНАЯ ЛОГИКА -- СЕМАНТИЧЕСКОЕ ПРОГРАММИРОВАНие -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

Статистика за 02.07.2024
Число запросов	7917
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)