Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=510.565(063)<.>)

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

510.565(063)
R48

Rewriting techniques and applications [Electronic resource] : 20th international conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 : proceedings / ed. R. Treinen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5595). - ISBN 978-3-642-02348-4 : Б. ц.

ГРНТИ	27.03.17
УДК	510.565(063)

Кл.слова (ненормированные):
системы переписывания термов -- теория вычислимости -- формальные грамматики -- конференции

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

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

004.42(063)/T37-008995

Term rewriting and applications [Electronic resource] : 17th international conference, RTA 2006, Seattle, Wa, USA, August 12-14, 2006 : proceedings / ed. F. Pfenning. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4098). - ISBN 978-3-54036-835-9 : Б. ц.

ГРНТИ	27.03.17
УДК	510.565(063)

Рубрики: Теория вычислимости--Съезды и конференции

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

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

004.42(063)/T37-841735

Term rewriting and applications [Electronic resource] : 16th international conf. RTA 2005, Nara, Japan 19-21, 2005: proc. / ed. J. Giesl. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3467). - ISBN 978-35403-2033-3 : Б. ц.

ГРНТИ	27.03.17
УДК	510.565(063)

Рубрики: Теория вычислимости--Съезды и конференции

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

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

004.42(063)/T37-067185

Term rewriting and applications [Electronic resource] : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / ed. F. Baader. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4533). - ISBN 978-3-540-73449-9 : Б. ц.

ГРНТИ	27.03.17
УДК	510.565(063)

Рубрики: Теория вычислимости--Съезды и конференции

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

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

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

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

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