Вы здесь
Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/Second Intern. Workshop, HOA 95. Paderborn, Germany, September 1995
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
1996
Ключевые слова:
Стр.:
287 p.
Редактор:
Место издания:
Издательство:
Том:
1074
Карточка:
Б2.13, Б2.14, Б2.2, Б2.3.
Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/Second Intern. Workshop, HOA 95. Paderborn, Germany, September 1995Ed. by Dowek G., Heering J., Meinke K., Moller B..-Berlin, Heidelberg.: Springer, 1996.-Vol. 1074.-287 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO2 52