Вы здесь

A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs

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

Б2.24.

Thielscher M..

A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs-Cambridge.: The MIT Press// Logic Programming, 1996.-P.483-497.
Bibliogr.: p.496-497

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