Herbrand interpretation, model and least model within the framework of logic programming
M C Nicoletti Maria Carolina Monard 1941-
São Carlos ICMSC-USP 1993
Disponible en
ICMC - Inst. Ciên. Mat. Computação
(PROD-848273 ) y otras localizaciones(Obténgalo)