Вы здесь

Parametric Order-Sorted Types in Logic Programming

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1991
Стр.: 
P.181-200.
Том: 
494
Карточка: 

Б5.11.

Hanus M..

Parametric Order-Sorted Types in Logic Programming// Lecture Notes in Computer Science-1991.-Vol. 494.-P.181-200.

Таблица в старой библиотеке: 
PAP1 726