|
004.415.5(063)/R48-506073
Rewriting techniques and applications [Electronic resource] : 19th International conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008: proceedings / ed. A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5117). - ISBN 978-3-540-70590-1 : Б. ц.
Рубрики: Информатика теоретическая--Съезды и конференции
См. : Текст издания Доп.точки доступа: Voronkov, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|