skip to main content
Primo Search
Search in: Busca Geral

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)

  • Título:
    Herbrand interpretation, model and least model within the framework of logic programming
  • Autor: M C Nicoletti
  • Maria Carolina Monard 1941-
  • Assuntos: MATEMÁTICA DA COMPUTAÇÃO
  • Notas Locais: Notas do ICMSC-USP. Série Computação, 002
  • Editor: São Carlos ICMSC-USP
  • Data de criação/publicação: 1993
  • Formato: 30 p.
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.