Вы здесь

Negation as Failure in Intuitionistic Logic Programming

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.431-445
Библиография: 
Bibliogr.: p.445
Место издания: 
Карточка: 

Б2.24, Б3.21, Б3.14.

Giordano L., Olivetti N..

Negation as Failure in Intuitionistic Logic Programming-Cambridge.// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.431-445
Bibliogr.: p.445

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