ReP USP - Resultado da busca

Artigo de periodico
Completeness for cut-based abduction (2014)
Arruda, Alexandre Matos; Finger, Marcelo
Fonte: Logic Journal of the IGPL. Nome do evento: Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos e FINGER, Marcelo. Completeness for cut-based abduction. Logic Journal of the IGPL, v. 22, n. 2, p. 286-296, 2014Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzt028. Acesso em: 01 dez. 2025.
APA
Arruda, A. M., & Finger, M. (2014). Completeness for cut-based abduction. Logic Journal of the IGPL, 22( 2), 286-296. doi:10.1093/jigpal/jzt028
NLM
Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1093/jigpal/jzt028
Vancouver
Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1093/jigpal/jzt028
Trabalho de evento-resumo
Probabilistic abduction for PSAT (2014)
Arruda, Alexandre Matos; Finger, Marcelo
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos e FINGER, Marcelo. Probabilistic abduction for PSAT. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 01 dez. 2025.
APA
Arruda, A. M., & Finger, M. (2014). Probabilistic abduction for PSAT. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Arruda AM, Finger M. Probabilistic abduction for PSAT [Internet]. Book of Abstracts. 2014 ;[citado 2025 dez. 01 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Arruda AM, Finger M. Probabilistic abduction for PSAT [Internet]. Book of Abstracts. 2014 ;[citado 2025 dez. 01 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Tese (Doutorado)
Abdução clássica e abdução probabilística: a busca pela explicação de dados reais (2014)
Arruda, Alexandre Matos; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos. Abdução clássica e abdução probabilística: a busca pela explicação de dados reais. 2014. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20102015-170210. Acesso em: 01 dez. 2025.
APA
Arruda, A. M. (2014). Abdução clássica e abdução probabilística: a busca pela explicação de dados reais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20102015-170210
NLM
Arruda AM. Abdução clássica e abdução probabilística: a busca pela explicação de dados reais [Internet]. 2014 ;[citado 2025 dez. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20102015-170210
Vancouver
Arruda AM. Abdução clássica e abdução probabilística: a busca pela explicação de dados reais [Internet]. 2014 ;[citado 2025 dez. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20102015-170210
Relatorio tecnico
Caracterização da independência condicional em lógica modal (2010)
Arruda, Alexandre Matos; Finger, Marcelo
Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos e FINGER, Marcelo. Caracterização da independência condicional em lógica modal. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf. Acesso em: 01 dez. 2025. , 2010
APA
Arruda, A. M., & Finger, M. (2010). Caracterização da independência condicional em lógica modal. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf
NLM
Arruda AM, Finger M. Caracterização da independência condicional em lógica modal [Internet]. 2010 ;[citado 2025 dez. 01 ] Available from: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf
Vancouver
Arruda AM, Finger M. Caracterização da independência condicional em lógica modal [Internet]. 2010 ;[citado 2025 dez. 01 ] Available from: https://repositorio.usp.br/directbitstream/9f86f673-234f-4298-b4e3-af23339bc564/1833681.pdf

Unidades USP

ReP

Filtros