Вы здесь
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