|
Вид документа : Монографическая серия Шифр издания : 004.42(063)/T37-067185
Заглавие : Term rewriting and applications [Electronic resource]
: 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2007 Коллективы :
SpringerLink (Online service) Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4533
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73449-9: Б.ц.
ГРНТИ : 27.03.17 УДК : 510.565(063) Предметные рубрики: Теория вычислимости-- Съезды и конференции
См. : Текст издания Доп.точки доступа: Baader, F. \ed.\; SpringerLink (Online service)
|
|