ReP USP - Resultado da busca

Monografia/livro-ed/org
Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 (2025)
Antunes, Henrique; Fajardo, Rogério Augusto dos Santos (Editor)
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - EBL. Unidade: IME
Assuntos: LÓGICA, PESQUISA INTERDISCIPLINAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANTUNES, Henrique. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025. Book of Abstracts. São Paulo: Sociedade Brasileira de Lógica - SBL. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 28 nov. 2025. , 2025
APA
Antunes, H. (2025). Book of abstracts do XXI Brazilian Logic Conference - EBL 2025. Book of Abstracts. São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Antunes H. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 [Internet]. Book of Abstracts. 2025 ;[citado 2025 nov. 28 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Antunes H. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 [Internet]. Book of Abstracts. 2025 ;[citado 2025 nov. 28 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
The e-value and the full bayesian significance test: logical properties and philosophical consequences (2025)
Stern, Julio Michael ; Pereira, Carlos Alberto de Bragança ; Lauretto, Marcelo de Souza ; Esteves, Luís Gustavo ; Izbicki, Rafael ; Stern, Rafael Bassi ; Diniz, Marcio A. ; Borges, Wagner de Souza
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidades: IME, EACH
Assuntos: INFERÊNCIA BAYESIANA, TESTES DE HIPÓTESES, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael et al. The e-value and the full bayesian significance test: logical properties and philosophical consequences. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 70-71. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 28 nov. 2025.
APA
Stern, J. M., Pereira, C. A. de B., Lauretto, M. de S., Esteves, L. G., Izbicki, R., Stern, R. B., et al. (2025). The e-value and the full bayesian significance test: logical properties and philosophical consequences. In Book of abstracts (p. 70-71). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Stern JM, Pereira CA de B, Lauretto M de S, Esteves LG, Izbicki R, Stern RB, Diniz MA, Borges W de S. The e-value and the full bayesian significance test: logical properties and philosophical consequences [Internet]. Book of abstracts. 2025 ; 70-71.[citado 2025 nov. 28 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Stern JM, Pereira CA de B, Lauretto M de S, Esteves LG, Izbicki R, Stern RB, Diniz MA, Borges W de S. The e-value and the full bayesian significance test: logical properties and philosophical consequences [Internet]. Book of abstracts. 2025 ; 70-71.[citado 2025 nov. 28 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Tese (Doutorado)
Categories of commutative semicartesian quantales valued sets (2024)
Mendes, Caio de Andrade; Mariano, Hugo Luiz (Orientador)
Unidade: IME
Assuntos: LÓGICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio de Andrade. Categories of commutative semicartesian quantales valued sets. 2024. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/. Acesso em: 28 nov. 2025.
APA
Mendes, C. de A. (2024). Categories of commutative semicartesian quantales valued sets (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
NLM
Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2025 nov. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Vancouver
Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2025 nov. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Trabalho de evento
Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Assuntos: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Linking Łukasiewicz logic and boolean maximum satisfiability. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00040. Acesso em: 28 nov. 2025.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Linking Łukasiewicz logic and boolean maximum satisfiability. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00040
NLM
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Vancouver
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Trabalho de evento
Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Assuntos: REDES NEURAIS, PROGRAMAÇÃO LINEAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Benchmarking Łukasiewicz logic solvers with properties of neural networks. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00039. Acesso em: 28 nov. 2025.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Benchmarking Łukasiewicz logic solvers with properties of neural networks. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00039
NLM
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Vancouver
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Artigo de periodico
Local diagnosis (2001)
Wassermann, Renata
Fonte: Journal of Applied Non-Classical Logics. Unidade: IME
Assuntos: LÓGICA, CONHECIMENTO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. Local diagnosis. Journal of Applied Non-Classical Logics, v. 11, n. 1-2, p. 107-129, 2001Tradução . . Disponível em: https://doi.org/10.3166/jancl.11.107-129. Acesso em: 28 nov. 2025.
APA
Wassermann, R. (2001). Local diagnosis. Journal of Applied Non-Classical Logics, 11( 1-2), 107-129. doi:10.3166/jancl.11.107-129
NLM
Wassermann R. Local diagnosis [Internet]. Journal of Applied Non-Classical Logics. 2001 ; 11( 1-2): 107-129.[citado 2025 nov. 28 ] Available from: https://doi.org/10.3166/jancl.11.107-129
Vancouver
Wassermann R. Local diagnosis [Internet]. Journal of Applied Non-Classical Logics. 2001 ; 11( 1-2): 107-129.[citado 2025 nov. 28 ] Available from: https://doi.org/10.3166/jancl.11.107-129

Unidades USP

ReP

Filtros

Departamento

Autores

Autores USP

Assuntos

Agência de fomento