Вы здесь

Abstracting Unification: A Key Step in the Design of Logic Program Analyses

Вид: 
Статья из сборника или журнала
Год: 
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