Вы здесь
Equational Logic as a Tool
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.1-17
Библиография:
Bibliogr.: p.17
Место издания:
Издательство:
Том:
936
Карточка:
Б2.1, Б3.5, Б4.55.
Gries D..
Equational Logic as a Tool-Berlin, Heidelberg.: Springer// Algebraic Methodology and Software Technology, 1995.-Vol. 936.-P.1-17-(Lecture Notes in Computer Science).
Bibliogr.: p.17
Таблица в старой библиотеке:
PAP12 752