ReP USP - Resultado da busca

Trabalho de evento
Concurso de Teses e Dissertações. 3º Lugar - Programação em lógica: teoria e aplicações. Dissertação (Mestrado) - Instituto de Matemática e Estatística, Universidade de São Paulo, São Paulo, 1996. (1997)
Carbogim, Daniela Vasconcelos; Silva, Flávio Soares Corrêa da (Orientador)
Fonte: Anais. Nome do evento: Seminário Integrado de Software e Hardware - SEMISH'97. Unidade: IME
Assuntos: PROGRAMAÇÃO MATEMÁTICA, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARBOGIM, Daniela Vasconcelos. Concurso de Teses e Dissertações. 3º Lugar - Programação em lógica: teoria e aplicações. Dissertação (Mestrado) - Instituto de Matemática e Estatística, Universidade de São Paulo, São Paulo, 1996. 1997, Anais.. Brasília: UnB, 1997. p. 517-528. . Acesso em: 09 nov. 2025.
APA
Carbogim, D. V. (1997). Concurso de Teses e Dissertações. 3º Lugar - Programação em lógica: teoria e aplicações. Dissertação (Mestrado) - Instituto de Matemática e Estatística, Universidade de São Paulo, São Paulo, 1996. In Anais (p. 517-528). Brasília: UnB.
NLM
Carbogim DV. Concurso de Teses e Dissertações. 3º Lugar - Programação em lógica: teoria e aplicações. Dissertação (Mestrado) - Instituto de Matemática e Estatística, Universidade de São Paulo, São Paulo, 1996. Anais. 1997 ; 517-528.[citado 2025 nov. 09 ]
Vancouver
Carbogim DV. Concurso de Teses e Dissertações. 3º Lugar - Programação em lógica: teoria e aplicações. Dissertação (Mestrado) - Instituto de Matemática e Estatística, Universidade de São Paulo, São Paulo, 1996. Anais. 1997 ; 517-528.[citado 2025 nov. 09 ]
Dissertação (Mestrado)
Programação em lógica anotada: teoria e aplicações (1996)
Carbogim, Daniela Vasconcelos; Silva, Flávio Soares Corrêa da (Orientador)
Unidade: IME
Assuntos: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARBOGIM, Daniela Vasconcelos. Programação em lógica anotada: teoria e aplicações. 1996. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1996. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/. Acesso em: 09 nov. 2025.
APA
Carbogim, D. V. (1996). Programação em lógica anotada: teoria e aplicações (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
NLM
Carbogim DV. Programação em lógica anotada: teoria e aplicações [Internet]. 1996 ;[citado 2025 nov. 09 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
Vancouver
Carbogim DV. Programação em lógica anotada: teoria e aplicações [Internet]. 1996 ;[citado 2025 nov. 09 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
Relatorio tecnico
Facts, anotations, arguments and reasoning (1996)
Carbogim, Daniela Vasconcelos; Silva, Flávio Soares Corrêa da
Unidade: IME
Assunto: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARBOGIM, Daniela Vasconcelos e SILVA, Flávio Soares Corrêa da. Facts, anotations, arguments and reasoning. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/a9c03151-7f66-445f-9ccb-7cf60e6b581f/895288.pdf. Acesso em: 09 nov. 2025. , 1996
APA
Carbogim, D. V., & Silva, F. S. C. da. (1996). Facts, anotations, arguments and reasoning. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/a9c03151-7f66-445f-9ccb-7cf60e6b581f/895288.pdf
NLM
Carbogim DV, Silva FSC da. Facts, anotations, arguments and reasoning [Internet]. 1996 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/a9c03151-7f66-445f-9ccb-7cf60e6b581f/895288.pdf
Vancouver
Carbogim DV, Silva FSC da. Facts, anotations, arguments and reasoning [Internet]. 1996 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/a9c03151-7f66-445f-9ccb-7cf60e6b581f/895288.pdf
Relatorio tecnico
A system for reasoning with fuzzy predicates (1994)
Silva, Flávio Soares Corrêa da ; Carbogim, Daniela Vasconcelos
Unidade: IME
Assunto: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da e CARBOGIM, Daniela Vasconcelos. A system for reasoning with fuzzy predicates. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/441c6b14-0513-4e74-88c6-7815918523d7/885918.pdf. Acesso em: 09 nov. 2025. , 1994
APA
Silva, F. S. C. da, & Carbogim, D. V. (1994). A system for reasoning with fuzzy predicates. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/441c6b14-0513-4e74-88c6-7815918523d7/885918.pdf
NLM
Silva FSC da, Carbogim DV. A system for reasoning with fuzzy predicates [Internet]. 1994 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/441c6b14-0513-4e74-88c6-7815918523d7/885918.pdf
Vancouver
Silva FSC da, Carbogim DV. A system for reasoning with fuzzy predicates [Internet]. 1994 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/441c6b14-0513-4e74-88c6-7815918523d7/885918.pdf

Unidades USP

ReP

Filtros