skip to main content

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

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-848273 ) e outros locais(Acessar)

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.