| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Электронный каталог - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :1
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (1)
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>KL=ЭПИ-системы<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 470023
51.01+62-50+017.7:51+017.7:6/М23
Автор(ы) : Мансуров, Владимир Николаевич
Заглавие : Конструктивные и развивающиеся формальные системы
Выходные данные : Саратов: Издательство Саратовского университета, 1989
Колич.характеристики :192, [4] c.
ISBN, Цена 5-292-00519-3: 14.00 р.
УДК : 510.2 + 519.71
Предметные рубрики: математика-- математическая логика-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): формальные системы--конструктивные формальные системы--эпи-системы--бинарные системы--тьюринга машина--алгоритмические языки
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)