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

Базы данных


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

Виды поиска

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

Вид документа : Многотомное издание
Шифр издания : 741926
51.01/R44
Заглавие : Reports on Mathematical Logic: научное издание. N . 25
Выходные данные : Krakow: Jagiellonian Univ. Press, 1991
Колич.характеристики :149 p.
Примечания : Bibliogr.
ISBN, Цена 83-233-0537-4: 1000.00 р.
УДК : 510(082)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

2.

Вид документа : Многотомное издание
Шифр издания : 400416
51.01/R44
Заглавие : Reports on Mathematical Logic: научное издание. N . 26
Выходные данные : Krakow: Jagiellonian Univ. Press, 1992
Колич.характеристики :95 p.
Примечания : Bibliogr.
ISBN, Цена 83-233-0630-3: 1000.00 р.
УДК : 510(082)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

3.

Вид документа : Многотомное издание
Шифр издания : 023455
51.01/R44
Заглавие : Reports on Mathematical Logic: научное издание. N . 27
Выходные данные : Krakow: Jagiellonian Univ. Press, 1993
Колич.характеристики :94 p.
Примечания : Bibliogr.
ISBN, Цена 83-233-0738-5: 1000.00 р.
УДК : 510(082)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

4.

Вид документа : Многотомное издание
Шифр издания : 645711
681.142(08)/В94
Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 152: Теория вычислений и языки спецификаций
Выходные данные : Новосибирск, 1995
Колич.характеристики :219 с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-86134-012-9: 2000.00 р.
УДК : 510(082)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): семантическое программирование--естественные языки--тьюринга машина--вычислительные автоматы--немонотонные логики--базы данных--петри сети
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

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

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