Вы здесь

Главная

A Complete Narrowing Calculus for Higher-Order Functional Logic Programming

Автор: 
Nakahara K.
Middeldorp A.
Ida T.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Ключевые слова: 
функциональный
логический
программирование
Стр.: 
P.97-114
Библиография: 
Bibliogr.: p.114
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Programming Languages: Implementations, Logics and Programs
Том: 
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