Вы здесь

Rewriting, Computation, and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2007
Стр.: 
273 p.
Место издания: 
Издательство: 
Том: 
4600
Карточка: 

Б2.2, В2.11.

Rewriting, Computation, and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th BirthdayEd. by Comon-Lundh H., Kirchner C., Kirchner H..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4600.-273 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO6 632