Вы здесь

A Categorical Model for Logic Programs: Indexed Monoidal Categories

Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.110-137.
Библиография: 
Bibliogr.: p.135-136
Издательство: 
Том: 
666
Карточка: 

Б2.11, Б2.14.

Corradini A., Asperti A..

A Categorical Model for Logic Programs: Indexed Monoidal Categories: Springer// Lecture Notes in Computer Science-1993.-Vol. 666.-P.110-137.
Bibliogr.: p.135-136

Таблица в старой библиотеке: 
PAP5 878