Вы здесь

Negation in Logic Programming: A Formalization in Constructive Logic

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1991
Стр.: 
P.30-46.
Реферат: 
Отрицание в логическом программировании.
Том: 
474
Карточка: 

В2.11.

Bry F..

Negation in Logic Programming: A Formalization in Constructive Logic// Lecture Notes in Computer Science-1991.-Vol. 474.-P.30-46.

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