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