Вы здесь

A Verified Implementation of Narrowing

Автор: 
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.63-80
Библиография: 
Bibliogr.: p.79-80
Место издания: 
Издательство: 
Том: 
982
Карточка: 

Б3.2, Б3.14.

Fassbender H..

A Verified Implementation of Narrowing-Berlin, Heidelberg.: Springer// Programming Languages: Implementations, Logics and Programs, 1995.-Vol. 982.-P.63-80-(Lecture Notes in Computer Science).
Bibliogr.: p.79-80

Таблица в старой библиотеке: 
PAP13 549