Filtros : "LÓGICA" "2025" Removido: "International Symposium on Imprecise Probabilities and Their Applications" Limpar

Filtros



Refine with date range


  • Unidade: ECA

    Subjects: DANÇA, MOVIMENTO (FISIOLOGIA), MOVIMENTO DE DANÇA, EXPRESSÃO CORPORAL, CORPO (ARTES), HIPÓTESE, LÓGICA

    Acesso à fonteDOIHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://doi.org/10.11606/D.27.2025.tde-28032025-091509
  • 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

    Versão PublicadaAcesso à fonteDOIHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
  • Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Subjects: LÓGICA, PESQUISA INTERDISCIPLINAR, LÓGICA

    Versão PublicadaAcesso à fonteHow to cite
    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
  • Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME

    Subjects: TEORIA DOS MODELOS, FEIXES, LÓGICA

    Versão PublicadaAcesso à fonteHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
  • 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

    Versão PublicadaAcesso à fonteHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
  • Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME

    Subjects: ÁLGEBRAS DE BOOLE, RETICULADOS, LÓGICA

    Versão PublicadaAcesso à fonteHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
  • Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME

    Subjects: TEORIA DE RAMSEY, LÓGICA

    Versão PublicadaAcesso à fonteHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
  • Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidades: IME, EACH

    Subjects: INFERÊNCIA BAYESIANA, TESTES DE HIPÓTESES, LÓGICA

    Versão PublicadaAcesso à fonteHow to cite
    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
  • Unidade: FFLCH

    Subjects: MARXISMO, LÓGICA, DIALÉTICA, ECONOMIA POLÍTICA, HOMOLOGIA, IMANÊNCIA

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      UBEID FILHO, Sami Issa e GRESPAN, Jorge Luis. Crítica e positividade do capital-sujeito: sobre as dificuldades na determinação de uma razão em contraposição àquela imanente. 2025. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2025. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8138/tde-03102025-155914/. Acesso em: 27 nov. 2025.
    • APA

      Ubeid Filho, S. I., & Grespan, J. L. (2025). Crítica e positividade do capital-sujeito: sobre as dificuldades na determinação de uma razão em contraposição àquela imanente (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8138/tde-03102025-155914/
    • NLM

      Ubeid Filho SI, Grespan JL. Crítica e positividade do capital-sujeito: sobre as dificuldades na determinação de uma razão em contraposição àquela imanente [Internet]. 2025 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8138/tde-03102025-155914/
    • Vancouver

      Ubeid Filho SI, Grespan JL. Crítica e positividade do capital-sujeito: sobre as dificuldades na determinação de uma razão em contraposição àquela imanente [Internet]. 2025 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8138/tde-03102025-155914/
  • 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

    PrivadoAcesso à fonteDOIHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://academic.oup.com/logcom/article/35/6/exae063/7766080
  • Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME

    Subjects: INFERÊNCIA ESTATÍSTICA, LÓGICA, ANALOGIA, HOMOLOGIA

    Versão PublicadaAcesso à fonteHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
  • Unidade: IF

    Subjects: FÍSICA, FÍSICA MODERNA, MATEMÁTICA APLICADA, LÓGICA

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-05042025-080025/
  • 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

    Versão PublicadaAcesso à fonteHow to cite
    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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2025