Вы здесь

An Abstract Interpretation Algorithm for Residuating Logic Programs

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.304-312.
Библиография: 
Bibliogr.: p.312.
Источник: 
Номер: 
81-82
Карточка: 

Б2.2, Б3.14.

Hanus M..

An Abstract Interpretation Algorithm for Residuating Logic Programs// BIGRE-1992, №81-82.-P.304-312.
Bibliogr.: p.312.

Таблица в старой библиотеке: 
PAP4 577