Web ИРБИС

Базы данных

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

Вид поиска

Российский сводный каталог по научно-технической литературе

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

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

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

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

004.42/R48-847498

Rewriting, computation and proof [Electronic resource] : essays dedicated to Jean-Pierre jouannaud on the occasion of his 60th birthday / ed. H. Comon-Lundh [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4600). - ISBN 978-3-540-73147-4 : Б. ц.

ГРНТИ	50.07
УДК	004-027.21

Рубрики: Информатика теоретическая

См. : Текст издания

Доп.точки доступа:
Comon-Lundh, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

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