|
Вид документа : Монографическая серия Шифр издания : 004.42/R48-847498
Заглавие : Rewriting, computation and proof [Electronic resource]
: essays dedicated to Jean-Pierre jouannaud on the occasion of his 60th birthday
Выходные данные : Berlin; Heidelberg : Springer, 2007 Коллективы :
SpringerLink (Online service) Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4600
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73147-4: Б.ц.
ГРНТИ : 50.07 УДК : 004-027.21 Предметные рубрики: Информатика теоретическая
См. : Текст издания Доп.точки доступа: Comon-Lundh, H. \ed.\; SpringerLink (Online service)
|
|