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