Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>S=Информатика теоретическая<.>)
Общее количество найденных документов : 1
1.
Вид документа : Монографическая серия
Шифр издания : 004.42/R48-847498
Заглавие : Rewriting, computation and proof [Electronic resource] : essays dedicated to Jean-Pierre jouannaud on the occasion of his 60th birthday
Выходные данные : Berlin; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4600
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73147-4: Б.ц.
ГРНТИ : 50.07
УДК : 004-027.21
Предметные рубрики: Информатика теоретическая
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)