Вы здесь

On Normal Forms and Equivalence for Logic Programs

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

Б2.14, Б3.14.

Harland J..

On Normal Forms and Equivalence for Logic Programs-Cambridge.// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.146-160
Bibliogr.: p.160

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