Вы здесь
Unification in a Combination of Arbitrary Disjoint Equational Theories
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1987
Ключевые слова:
Стр.:
43 p.
Библиография:
Bibliogr.: p.39-43
Место издания:
Номер:
SR-87-16
Карточка:
В2.11.
Schmidt-Schauss M..
Unification in a Combination of Arbitrary Disjoint Equational Theories-Kaiserslautern., 1987.-43 p.-(Препринт Univ. Kaiserslautern №SR-87-16).
Bibliogr.: p.39-43
Таблица в старой библиотеке:
PREP2 505