Вы здесь

Conditional and Typed Rewriting Systems: Proc./4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994

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

Б2.3, В2.11.

Conditional and Typed Rewriting Systems: Proc./4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994Ed. by Dershowitz N., Lindenstrauss N..-Berlin, Heidelberg.: Springer, 1995.-Vol. 968.-375 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO1 907