Вы здесь

Modular Termination Proofs for Prolog with Tabling

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.342-359.
Библиография: 
Bibliogr.: p.358-359
Том: 
1702
Карточка: 

Б2.23.

Verbaeten S., Sagonas K., De Schreye D..

Modular Termination Proofs for Prolog with Tabling// Lecture Notes in Computer Science-1999.-Vol. 1702.-P.342-359.
Bibliogr.: p.358-359

Таблица в старой библиотеке: 
PAP20 337