|
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 : Б. ц.
Рубрики: Теория вычислимости--Съезды и конференции
См. : Текст издания Доп.точки доступа: Giesl, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|