Вы здесь
Abstracting Unification: A Key Step in the Design of Logic Program Analyses
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.406-425
Библиография:
Bibliogr.: p.423-425
Место издания:
Источник:
Том:
1000
Карточка:
Б2.14, В2.11.
Bruynooghe M., Codish M., Mulkers A..
Abstracting Unification: A Key Step in the Design of Logic Program Analyses-Berlin, Heidelberg.// Computer Science Today, 1995.-Vol. 1000.-P.406-425-(Lecture Notes in Computer Science).
Bibliogr.: p.423-425
Таблица в старой библиотеке:
PAP13 752