Вы здесь

Combining Lazy Narrowing and Simplification

Автор: 
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.370-384.
Библиография: 
Bibliogr.: p.383-384.
Том: 
844
Карточка: 

Б3.14, Б2.24.

Hanus M..

Combining Lazy Narrowing and Simplification// Lecture Notes in Computer Science-1994.-Vol. 844.-P.370-384.
Bibliogr.: p.383-384.

Таблица в старой библиотеке: 
PAP9 744