ReP USP - Resultado da busca

Monografia/livro
Lógica para computação (2006)
Silva, Flávio Soares Corrêa da ; Finger, Marcelo ; Melo, Ana Cristina Vieira de
Unidade: IME
Assuntos: SEMÂNTICA DE PROGRAMAÇÃO, PROGRAMAÇÃO LÓGICA
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 FINGER, Marcelo e MELO, Ana Cristina Vieira de. Lógica para computação. . São Paulo: Cengage Learning. . Acesso em: 09 nov. 2025. , 2006
APA
Silva, F. S. C. da, Finger, M., & Melo, A. C. V. de. (2006). Lógica para computação. São Paulo: Cengage Learning.
NLM
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2025 nov. 09 ]
Vancouver
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2025 nov. 09 ]
Trabalho de evento
Automated reasoning with uncertainties (2005)
Silva, Flávio Soares Corrêa da ; Robertson, Dave S ; Hesketh, Jane
Fonte: Proceedings. Nome do evento: International Conference Logic at Work. Unidade: IME
Assuntos: PROGRAMAÇÃO LÓGICA, SISTEMAS BASEADOS EM CONHECIMENTO
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 ROBERTSON, Dave S e HESKETH, Jane. Automated reasoning with uncertainties. 2005, Anais.. Berlin: Springer, 2005. Disponível em: https://doi.org/10.1007/3-540-58095-6_5. Acesso em: 09 nov. 2025.
APA
Silva, F. S. C. da, Robertson, D. S., & Hesketh, J. (2005). Automated reasoning with uncertainties. In Proceedings. Berlin: Springer. doi:10.1007/3-540-58095-6_5
NLM
Silva FSC da, Robertson DS, Hesketh J. Automated reasoning with uncertainties [Internet]. Proceedings. 2005 ;[citado 2025 nov. 09 ] Available from: https://doi.org/10.1007/3-540-58095-6_5
Vancouver
Silva FSC da, Robertson DS, Hesketh J. Automated reasoning with uncertainties [Internet]. Proceedings. 2005 ;[citado 2025 nov. 09 ] Available from: https://doi.org/10.1007/3-540-58095-6_5
Relatorio tecnico
Towards a logic of perishable propositions (2001)
Silva, Flávio Soares Corrêa da
Unidade: IME
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da. Towards a logic of perishable propositions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf. Acesso em: 09 nov. 2025. , 2001
APA
Silva, F. S. C. da. (2001). Towards a logic of perishable propositions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
NLM
Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
Vancouver
Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
Artigo de periodico
Facts, arguments, annotations and reasoning (2001)
Carbogim, Daniela Vasconcelos; Silva, Flávio Soares Corrêa da
Fonte: New Generation Computing. Unidade: IME
Assuntos: PROGRAMAÇÃO LÓGICA, REPRESENTAÇÃO DE CONHECIMENTO
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, arguments, annotations and reasoning. New Generation Computing, v. 19, n. 1, p. 1-22, 2001Tradução . . Disponível em: https://doi.org/10.1007/bf03037532. Acesso em: 09 nov. 2025.
APA
Carbogim, D. V., & Silva, F. S. C. da. (2001). Facts, arguments, annotations and reasoning. New Generation Computing, 19( 1), 1-22. doi:10.1007/bf03037532
NLM
Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2025 nov. 09 ] Available from: https://doi.org/10.1007/bf03037532
Vancouver
Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2025 nov. 09 ] Available from: https://doi.org/10.1007/bf03037532
Relatorio tecnico
Automated reasoning with uncertainties (1993)
Silva, Flávio Soares Corrêa da
Unidade: IME
Assuntos: PROGRAMAÇÃO LÓGICA, SISTEMAS BASEADOS EM CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da. Automated reasoning with uncertainties. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf. Acesso em: 09 nov. 2025. , 1993
APA
Silva, F. S. C. da. (1993). Automated reasoning with uncertainties. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf
NLM
Silva FSC da. Automated reasoning with uncertainties [Internet]. 1993 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf
Vancouver
Silva FSC da. Automated reasoning with uncertainties [Internet]. 1993 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf

Unidades USP

ReP

Filtros

Autores