|
|
Вид документа : Монографическая серия
Шифр издания : 004.42(063)/T37-008995
Заглавие : Term rewriting and applications [Electronic resource]
: 17th international conference, RTA 2006, Seattle, Wa, USA, August 12-14, 2006 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4098
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54036-835-9: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.565(063)
Предметные рубрики: Теория вычислимости-- Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Pfenning, F. \ed.\; SpringerLink (Online service)
|
|