Вы здесь

Mode and Termination Checking for Higher-Order Logic Programs

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Ключевые слова: 
Стр.: 
P.296-310.
Библиография: 
Bibliogr.: p.309-310
Том: 
1058
Карточка: 

Б2.23.

Rohwedder E., Pfenning F..

Mode and Termination Checking for Higher-Order Logic Programs// Lecture Notes in Computer Science-1996.-Vol. 1058.-P.296-310.
Bibliogr.: p.309-310

Таблица в старой библиотеке: 
PAP14 823