Вы здесь

A Type Inference System for Prolog

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1988
Ключевые слова: 
Стр.: 
P.604-619
Библиография: 
Bibliogr.: p.619
Место издания: 
Том: 
1
Карточка: 

Б3.14, Б3.43.

Xu J., Warren D. S..

A Type Inference System for Prolog-Cambridge.// Logic Programming: Proc./Fifth Intern. Conf. and Symp., 1988.-Vol. 1.-P.604-619
Bibliogr.: p.619

Таблица в старой библиотеке: 
LOG1 137