ReP USP - Resultado da busca

Dissertação (Mestrado)
Estudos sobre mover: discutindo processos investigativos do movimento em dança (2025)
Pinho, Rebeca Tadiello ; Bastos, Helena (Orientador)
Unidade: ECA
Subjects: DANÇA, MOVIMENTO (FISIOLOGIA), MOVIMENTO DE DANÇA, EXPRESSÃO CORPORAL, CORPO (ARTES), HIPÓTESE, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHO, Rebeca Tadiello. Estudos sobre mover: discutindo processos investigativos do movimento em dança. 2025. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2025. Disponível em: https://doi.org/10.11606/D.27.2025.tde-28032025-091509. Acesso em: 08 out. 2025.
APA
Pinho, R. T. (2025). Estudos sobre mover: discutindo processos investigativos do movimento em dança (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://doi.org/10.11606/D.27.2025.tde-28032025-091509
NLM
Pinho RT. Estudos sobre mover: discutindo processos investigativos do movimento em dança [Internet]. 2025 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.11606/D.27.2025.tde-28032025-091509
Vancouver
Pinho RT. Estudos sobre mover: discutindo processos investigativos do movimento em dança [Internet]. 2025 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.11606/D.27.2025.tde-28032025-091509
Trabalho de evento-anais periodico
Regional, lattice and logical representations of neural networks (2025)
Preto, Sandro ; Finger, Marcelo
Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME
Subjects: REDES NEURAIS, LÓGICA, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf. Acesso em: 08 out. 2025. , 2025
APA
Preto, S., & Finger, M. (2025). Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. doi:10.4204/EPTCS.421.4
NLM
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 out. 08 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Vancouver
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 out. 08 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Trabalho de evento-resumo
Critical analysis of AGM postulates for ontology repair (2025)
Rocha, Anne; Lima, João Pedro de; Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIAS, INTELIGÊNCIA ARTIFICIAL, LÓGICA, OPERADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Anne e LIMA, João Pedro de e WASSERMANN, Renata. Critical analysis of AGM postulates for ontology repair. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 99-100. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.
APA
Rocha, A., Lima, J. P. de, & Wassermann, R. (2025). Critical analysis of AGM postulates for ontology repair. In Book of abstracts (p. 99-100). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Model theory of sheaves of metric spaces of analytic functions (2025)
Bianconi, Ricardo
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: TEORIA DOS MODELOS, FEIXES, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Model theory of sheaves of metric spaces of analytic functions. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 310-311. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.
APA
Bianconi, R. (2025). Model theory of sheaves of metric spaces of analytic functions. In Book of abstracts (p. 310-311). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
A note on lattices with a symmetric difference like operation (2025)
Miraglia Neto, Francisco ; Petrovich, Alejandro
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ÁLGEBRAS DE BOOLE, RETICULADOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco e PETROVICH, Alejandro. A note on lattices with a symmetric difference like operation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 25-26. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.
APA
Miraglia Neto, F., & Petrovich, A. (2025). A note on lattices with a symmetric difference like operation. In Book of abstracts (p. 25-26). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Teoria de Ramsey: um breve retorno à lógica formal através dos grafos (2025)
Reis, Pedro Lucas Santos dos
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: TEORIA DE RAMSEY, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REIS, Pedro Lucas Santos dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 307. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.
APA
Reis, P. L. S. dos. (2025). Teoria de Ramsey: um breve retorno à lógica formal através dos grafos. In Book of abstracts (p. 307). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Reis PLS dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos [Internet]. Book of abstracts. 2025 ; 307.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Reis PLS dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos [Internet]. Book of abstracts. 2025 ; 307.[citado 2025 out. 08 ] 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge (2025)
Stern, Julio Michael
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: INFERÊNCIA ESTATÍSTICA, LÓGICA, ANALOGIA, HOMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 179-180. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.
APA
Stern, J. M. (2025). Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge. In Book of abstracts (p. 179-180). 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. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge [Internet]. Book of abstracts. 2025 ; 179-180.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Stern JM. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge [Internet]. Book of abstracts. 2025 ; 179-180.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Artigo de periodico-carta/editorial
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface (2025)
Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)
Source: Journal of Logic and Computation. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC 2021. Unidade: IME
Subjects: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface. Journal of Logic and Computation. Oxford: Oxford University Press. Disponível em: https://academic.oup.com/logcom/article/35/6/exae063/7766080. Acesso em: 08 out. 2025. , 2025
APA
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface. (2025). 27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface. Journal of Logic and Computation. Oxford: Oxford University Press. doi:10.1093/logcom/exae063
NLM
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface [Internet]. Journal of Logic and Computation. 2025 ; 35( 6): 1-2.[citado 2025 out. 08 ] Available from: https://academic.oup.com/logcom/article/35/6/exae063/7766080
Vancouver
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface [Internet]. Journal of Logic and Computation. 2025 ; 35( 6): 1-2.[citado 2025 out. 08 ] Available from: https://academic.oup.com/logcom/article/35/6/exae063/7766080
Trabalho de evento-resumo
Conectando revisão de crenças e reparo de ontologias (2025)
Souza, Davy; Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIAS, LÓGICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Davy e WASSERMANN, Renata. Conectando revisão de crenças e reparo de ontologias. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 115-116. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.
APA
Souza, D., & Wassermann, R. (2025). Conectando revisão de crenças e reparo de ontologias. In Book of abstracts (p. 115-116). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Souza D, Wassermann R. Conectando revisão de crenças e reparo de ontologias [Internet]. Book of abstracts. 2025 ; 115-116.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Souza D, Wassermann R. Conectando revisão de crenças e reparo de ontologias [Internet]. Book of abstracts. 2025 ; 115-116.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Tese (Doutorado)
A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica (2025)
Tezzin, Alisson Cordeiro Alves ; Amaral, Barbara Lopes (Orientador)
Unidade: IF
Subjects: FÍSICA, FÍSICA MODERNA, MATEMÁTICA APLICADA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TEZZIN, Alisson Cordeiro Alves. A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica. 2025. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2025. Disponível em: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-05042025-080025/. Acesso em: 08 out. 2025.
APA
Tezzin, A. C. A. (2025). A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/43/43134/tde-05042025-080025/
NLM
Tezzin ACA. A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica [Internet]. 2025 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-05042025-080025/
Vancouver
Tezzin ACA. A emergência Local da Estrutura Algébrica da Mecânica Quântica e Suas Implicações para os Fundamentos da Física Quântica [Internet]. 2025 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-05042025-080025/
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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
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: 08 out. 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 out. 08 ] 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 out. 08 ] 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Monografia/livro
Nossas falhas de racicínio: ferramentas para pensar melhor (2023)
Martins, Andre Cavalcanti Rocha
Unidade: EACH
Subjects: RACIOCÍNIO, APRENDIZAGEM, LÓGICA, PSICOLOGIA COGNITIVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Andre Cavalcanti Rocha. Nossas falhas de racicínio: ferramentas para pensar melhor. . São Paulo: Contexto. . Acesso em: 08 out. 2025. , 2023
APA
Martins, A. C. R. (2023). Nossas falhas de racicínio: ferramentas para pensar melhor. São Paulo: Contexto.
NLM
Martins ACR. Nossas falhas de racicínio: ferramentas para pensar melhor. 2023 ;[citado 2025 out. 08 ]
Vancouver
Martins ACR. Nossas falhas de racicínio: ferramentas para pensar melhor. 2023 ;[citado 2025 out. 08 ]
Tese (Doutorado)
Consistência em direito internacional: como dar sentido a um mundo descentralizado e expansivo baseado em regras (2023)
Marcos, Henrique Jerônimo Bezerra; Lino, Wagner Luiz Menezes (Orientador)
Unidade: FD
Subjects: DIREITO INTERNACIONAL, FILOSOFIA DO DIREITO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARCOS, Henrique Jerônimo Bezerra. Consistência em direito internacional: como dar sentido a um mundo descentralizado e expansivo baseado em regras. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/2/2135/tde-18092023-135234/. Acesso em: 08 out. 2025.
APA
Marcos, H. J. B. (2023). Consistência em direito internacional: como dar sentido a um mundo descentralizado e expansivo baseado em regras (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/2/2135/tde-18092023-135234/
NLM
Marcos HJB. Consistência em direito internacional: como dar sentido a um mundo descentralizado e expansivo baseado em regras [Internet]. 2023 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/2/2135/tde-18092023-135234/
Vancouver
Marcos HJB. Consistência em direito internacional: como dar sentido a um mundo descentralizado e expansivo baseado em regras [Internet]. 2023 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/2/2135/tde-18092023-135234/
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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Artigo de periodico
Afinal, o que é um argumento? (2023)
Gonçalves-Segundo, Paulo Roberto
Source: Linha D'Água. Unidade: FFLCH
Subjects: ARGUMENTAÇÃO, LÓGICA, RETÓRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GONÇALVES-SEGUNDO, Paulo Roberto. Afinal, o que é um argumento?. Linha D'Água, v. 37, n. 1, p. 197-227, 2023Tradução . . Disponível em: https://doi.org/10.11606/issn.2236-4242.v37i1p197-227. Acesso em: 08 out. 2025.
APA
Gonçalves-Segundo, P. R. (2023). Afinal, o que é um argumento? Linha D'Água, 37( 1), 197-227. doi:10.11606/issn.2236-4242.v37i1p197-227
NLM
Gonçalves-Segundo PR. Afinal, o que é um argumento? [Internet]. Linha D'Água. 2023 ; 37( 1): 197-227.[citado 2025 out. 08 ] Available from: https://doi.org/10.11606/issn.2236-4242.v37i1p197-227
Vancouver
Gonçalves-Segundo PR. Afinal, o que é um argumento? [Internet]. Linha D'Água. 2023 ; 37( 1): 197-227.[citado 2025 out. 08 ] Available from: https://doi.org/10.11606/issn.2236-4242.v37i1p197-227
Artigo de periodico
An improved argument for superconditionalization (2023)
Staffel, Julia; De Bona, Glauber
Source: Erkenntnis: an international journal of scientific philosophy. Unidade: EP
Subjects: APRENDIZAGEM, LÓGICA, EPISTEMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STAFFEL, Julia e DE BONA, Glauber. An improved argument for superconditionalization. Erkenntnis: an international journal of scientific philosophy, 2023Tradução . . Disponível em: https://doi.org/10.1007/s10670-023-00676-5. Acesso em: 08 out. 2025.
APA
Staffel, J., & De Bona, G. (2023). An improved argument for superconditionalization. Erkenntnis: an international journal of scientific philosophy. doi:10.1007/s10670-023-00676-5
NLM
Staffel J, De Bona G. An improved argument for superconditionalization [Internet]. Erkenntnis: an international journal of scientific philosophy. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s10670-023-00676-5
Vancouver
Staffel J, De Bona G. An improved argument for superconditionalization [Internet]. Erkenntnis: an international journal of scientific philosophy. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s10670-023-00676-5

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration

Área de concentração

Sigla do Departamento/Programa de Pós Graduação

Departamento/Programa de Pós Graduação