Вы здесь

A Complete Narrowing Calculus for Higher-Order Functional Logic Programming

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

Б3.21, Б3.14.

Nakahara K., Middeldorp A., Ida T..

A Complete Narrowing Calculus for Higher-Order Functional Logic Programming-Berlin, Heidelberg.: Springer// Programming Languages: Implementations, Logics and Programs, 1995.-Vol. 982.-P.97-114-(Lecture Notes in Computer Science).
Bibliogr.: p.114

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