Filtros : "MONARD, MARIA CAROLINA" "MATEMÁTICA DA COMPUTAÇÃO" Removido: "Congress of Logic Aplied to Technology" Limpar

Filtros



Refine with date range


  • Unidade: ICMC

    Assunto: MATEMÁTICA DA COMPUTAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      NICOLETTI, M C e MONARD, Maria Carolina. Herbrand interpretation, model and least model within the framework of logic programming. . São Carlos: ICMSC-USP. Disponível em: https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf. Acesso em: 28 nov. 2025. , 1993
    • APA

      Nicoletti, M. C., & Monard, M. C. (1993). Herbrand interpretation, model and least model within the framework of logic programming. São Carlos: ICMSC-USP. Recuperado de https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf
    • NLM

      Nicoletti MC, Monard MC. Herbrand interpretation, model and least model within the framework of logic programming [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf
    • Vancouver

      Nicoletti MC, Monard MC. Herbrand interpretation, model and least model within the framework of logic programming [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2025