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)
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: 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: 27 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. 27 ] 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. 27 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidades: IME, EACH
Subjects: 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: 27 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. 27 ] 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. 27 ] 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
Subjects: 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: 27 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. 27 ] 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. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Dissertação (Mestrado)
A temporalidade do capital: estudos preliminares sobre a concepção de história de Karl Marx em O Capital (2024)
Szemere, Gabriel Barmak ; Santiago, Homero Silveira
Unidade: FFLCH
Subjects: CAPITALISMO, TRABALHO ASSALARIADO, VALOR (ECONOMIA), CAPITAL (ECONOMIA), TEORIAS ECONÔMICAS, HISTÓRIA ECONÔMICA, CRISE ECONÔMICA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SZEMERE, Gabriel Barmak e SANTIAGO, Homero Silveira. A temporalidade do capital: estudos preliminares sobre a concepção de história de Karl Marx em O Capital. 2024. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-25082025-171801/. Acesso em: 27 nov. 2025.
APA
Szemere, G. B., & Santiago, H. S. (2024). A temporalidade do capital: estudos preliminares sobre a concepção de história de Karl Marx em O Capital (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-25082025-171801/
NLM
Szemere GB, Santiago HS. A temporalidade do capital: estudos preliminares sobre a concepção de história de Karl Marx em O Capital [Internet]. 2024 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-25082025-171801/
Vancouver
Szemere GB, Santiago HS. A temporalidade do capital: estudos preliminares sobre a concepção de história de Karl Marx em O Capital [Internet]. 2024 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-25082025-171801/
Tese (Doutorado)
Uma psicologia sem alma: o Ego na fenomenologia husserliana (2024)
Marques, Daniel Ballester; Ferraz, Marcus Sacrini Ayres (Orientador)
Unidade: FFLCH
Subjects: EGO, EPISTEMOLOGIA, FENOMENOLOGIA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARQUES, Daniel Ballester. Uma psicologia sem alma: o Ego na fenomenologia husserliana. 2024. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22012025-165045/. Acesso em: 27 nov. 2025.
APA
Marques, D. B. (2024). Uma psicologia sem alma: o Ego na fenomenologia husserliana (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22012025-165045/
NLM
Marques DB. Uma psicologia sem alma: o Ego na fenomenologia husserliana [Internet]. 2024 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22012025-165045/
Vancouver
Marques DB. Uma psicologia sem alma: o Ego na fenomenologia husserliana [Internet]. 2024 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22012025-165045/
Trabalho de evento
Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: 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: 27 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. 27 ] 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. 27 ] 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
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: 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: 27 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. 27 ] 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. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Dissertação (Mestrado)
Objetos imitadores: teoremas limitativos pensados a partir da computação (2022)
Stolf, Euclides Torres Ometto; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Subjects: FILOSOFIA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STOLF, Euclides Torres Ometto. Objetos imitadores: teoremas limitativos pensados a partir da computação. 2022. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/. Acesso em: 27 nov. 2025.
APA
Stolf, E. T. O. (2022). Objetos imitadores: teoremas limitativos pensados a partir da computação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/
NLM
Stolf ETO. Objetos imitadores: teoremas limitativos pensados a partir da computação [Internet]. 2022 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/
Vancouver
Stolf ETO. Objetos imitadores: teoremas limitativos pensados a partir da computação [Internet]. 2022 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/
Artigo de periodico
Local diagnosis (2001)
Wassermann, Renata
Source: Journal of Applied Non-Classical Logics. Unidade: IME
Subjects: 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: 27 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. 27 ] 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. 27 ] Available from: https://doi.org/10.3166/jancl.11.107-129

USP Schools

ReP

Filtros

Departament

Authors

USP affiliated authors

Subjects

Funding Agencies