Menu

Filtros : "LÓGICA" Removido: "FFLCH" Limpar

Filtros

Refine with date range

1 - 20 (149 records)

  • 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

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 11 nov. 2024.

    • 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 2024 nov. 11 ] 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 2024 nov. 11 ] 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

    Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME

    Subjects: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA

    PrivadoAcesso à fonteDOIHow to cite
    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: 11 nov. 2024.

    • 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 2024 nov. 11 ] 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 2024 nov. 11 ] 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

    How to cite
    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: 11 nov. 2024. , 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 2024 nov. 11 ]

    • Vancouver

      Martins ACR. Nossas falhas de racicínio: ferramentas para pensar melhor. 2023 ;[citado 2024 nov. 11 ]

  • 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

    PrivadoAcesso à fonteDOIHow to cite
    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: 11 nov. 2024.

    • 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 2024 nov. 11 ] 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 2024 nov. 11 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039

  • 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

    Versão AceitaAcesso à fonteDOIHow to cite
    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: 11 nov. 2024.

    • 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 2024 nov. 11 ] 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 2024 nov. 11 ] Available from: https://doi.org/10.1007/s10670-023-00676-5

  • Tese (Doutorado)

    O admirar, o julgar, o agir e o apreender no ensino de Ciências (2022)

    Iglesias, Gabriela Cristina Sganzerla; Fernandez, Fernanda da Rocha Brando (Orientador)

    Unidade: FFCLRP

    Subjects: FILOSOFIA DA NATUREZA, ÉTICA, LÓGICA, SEMIÓTICA

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

    • ABNT

      IGLESIAS, Gabriela Cristina Sganzerla. O admirar, o julgar, o agir e o apreender no ensino de Ciências. 2022. Tese (Doutorado) – Universidade de São Paulo, Ribeirão Preto, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/59/59139/tde-06052022-083235/. Acesso em: 11 nov. 2024.

    • APA

      Iglesias, G. C. S. (2022). O admirar, o julgar, o agir e o apreender no ensino de Ciências (Tese (Doutorado). Universidade de São Paulo, Ribeirão Preto. Recuperado de https://www.teses.usp.br/teses/disponiveis/59/59139/tde-06052022-083235/

    • NLM

      Iglesias GCS. O admirar, o julgar, o agir e o apreender no ensino de Ciências [Internet]. 2022 ;[citado 2024 nov. 11 ] Available from: https://www.teses.usp.br/teses/disponiveis/59/59139/tde-06052022-083235/

    • Vancouver

      Iglesias GCS. O admirar, o julgar, o agir e o apreender no ensino de Ciências [Internet]. 2022 ;[citado 2024 nov. 11 ] Available from: https://www.teses.usp.br/teses/disponiveis/59/59139/tde-06052022-083235/

  • Dissertação (Mestrado)

    Auto organização do jogo de handebol: análise comparativa de diferentes categorias do alto nível competitivo (2022)

    Barreira, Caio Petroni de Senzi; Menezes, Rafael Pombo (Orientador)

    Unidade: EEFERP

    Subjects: HANDEBOL, JOGOS, LÓGICA, COMPETIÇÃO, CAMPEONATOS ESPORTIVOS

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

    • ABNT

      BARREIRA, Caio Petroni de Senzi. Auto organização do jogo de handebol: análise comparativa de diferentes categorias do alto nível competitivo. 2022. Dissertação (Mestrado) – Universidade de São Paulo, Ribeirão Preto, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/109/109131/tde-23052022-154112/. Acesso em: 11 nov. 2024.

    • APA

      Barreira, C. P. de S. (2022). Auto organização do jogo de handebol: análise comparativa de diferentes categorias do alto nível competitivo (Dissertação (Mestrado). Universidade de São Paulo, Ribeirão Preto. Recuperado de https://www.teses.usp.br/teses/disponiveis/109/109131/tde-23052022-154112/

    • NLM

      Barreira CP de S. Auto organização do jogo de handebol: análise comparativa de diferentes categorias do alto nível competitivo [Internet]. 2022 ;[citado 2024 nov. 11 ] Available from: https://www.teses.usp.br/teses/disponiveis/109/109131/tde-23052022-154112/

    • Vancouver

      Barreira CP de S. Auto organização do jogo de handebol: análise comparativa de diferentes categorias do alto nível competitivo [Internet]. 2022 ;[citado 2024 nov. 11 ] Available from: https://www.teses.usp.br/teses/disponiveis/109/109131/tde-23052022-154112/

  • Artigo de periodico

    Enseñanza de los deportes colectivos de invasión: de las generalizaciones a las especificidades (2021)

    Menezes, Rafael Pombo

    Source: Revista Peruana de Ciencias de la Actividad Fisica y del Deporte. Unidade: EEFERP

    Subjects: ESPORTES POR EQUIPE, PEDAGOGIA DO ESPORTE, TREINAMENTO ESPORTIVO, LÓGICA

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

    • ABNT

      MENEZES, Rafael Pombo. Enseñanza de los deportes colectivos de invasión: de las generalizaciones a las especificidades. Revista Peruana de Ciencias de la Actividad Fisica y del Deporte, v. 8, n. 3, p. 1189-1198, 2021Tradução . . Disponível em: https://doi.org/10.53820/rpcafd.v8i3.150. Acesso em: 11 nov. 2024.

    • APA

      Menezes, R. P. (2021). Enseñanza de los deportes colectivos de invasión: de las generalizaciones a las especificidades. Revista Peruana de Ciencias de la Actividad Fisica y del Deporte, 8( 3), 1189-1198. doi:10.53820/rpcafd.v8i3.150

    • NLM

      Menezes RP. Enseñanza de los deportes colectivos de invasión: de las generalizaciones a las especificidades [Internet]. Revista Peruana de Ciencias de la Actividad Fisica y del Deporte. 2021 ; 8( 3): 1189-1198.[citado 2024 nov. 11 ] Available from: https://doi.org/10.53820/rpcafd.v8i3.150

    • Vancouver

      Menezes RP. Enseñanza de los deportes colectivos de invasión: de las generalizaciones a las especificidades [Internet]. Revista Peruana de Ciencias de la Actividad Fisica y del Deporte. 2021 ; 8( 3): 1189-1198.[citado 2024 nov. 11 ] Available from: https://doi.org/10.53820/rpcafd.v8i3.150

  • Trabalho de evento

    Belief contraction in non-classical logics as hyperintensional belief change (2021)

    Souza, Marlo ; Wassermann, Renata

    Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME

    Subjects: REVISÃO DE CRENÇAS, LÓGICA

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

    • ABNT

      SOUZA, Marlo e WASSERMANN, Renata. Belief contraction in non-classical logics as hyperintensional belief change. 2021, Anais.. Vienna: IJCAI, 2021. Disponível em: https://doi.org/10.24963/kr.2021/56. Acesso em: 11 nov. 2024.

    • APA

      Souza, M., & Wassermann, R. (2021). Belief contraction in non-classical logics as hyperintensional belief change. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2021/56

    • NLM

      Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2024 nov. 11 ] Available from: https://doi.org/10.24963/kr.2021/56

    • Vancouver

      Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2024 nov. 11 ] Available from: https://doi.org/10.24963/kr.2021/56

  • Monografia/livro-ed/org

    Logic, language, information, and computation (2021)

    Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)

    Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME

    Subjects: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO

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

    • ABNT

      Logic, language, information, and computation. . Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-88853-4. Acesso em: 11 nov. 2024. , 2021

    • APA

      Logic, language, information, and computation. (2021). Logic, language, information, and computation. Cham: Springer. doi:10.1007/978-3-030-88853-4

    • NLM

      Logic, language, information, and computation [Internet]. 2021 ;[citado 2024 nov. 11 ] Available from: https://doi.org/10.1007/978-3-030-88853-4

    • Vancouver

      Logic, language, information, and computation [Internet]. 2021 ;[citado 2024 nov. 11 ] Available from: https://doi.org/10.1007/978-3-030-88853-4

  • Artigo de periodico

    Contemporary musical logos (2021)

    Teixeira, William ; Ferraz, Sílvio

    Source: International Review of the Aesthetics and Sociology of Music. Unidade: ECA

    Subjects: FILOSOFIA DA MÚSICA, MÚSICA CONTEMPORÂNEA, INTERPRETAÇÃO MUSICAL, LÓGICA

    PrivadoAcesso à fonteAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      TEIXEIRA, William e FERRAZ, Sílvio. Contemporary musical logos. International Review of the Aesthetics and Sociology of Music, v. 52, n. 2, p. 173-201, 2021Tradução . . Disponível em: https://www.jstor.org/stable/48640861. Acesso em: 11 nov. 2024.

    • APA

      Teixeira, W., & Ferraz, S. (2021). Contemporary musical logos. International Review of the Aesthetics and Sociology of Music, 52( 2), 173-201. Recuperado de https://www.jstor.org/stable/48640861

    • NLM

      Teixeira W, Ferraz S. Contemporary musical logos [Internet]. International Review of the Aesthetics and Sociology of Music. 2021 ; 52( 2): 173-201.[citado 2024 nov. 11 ] Available from: https://www.jstor.org/stable/48640861

    • Vancouver

      Teixeira W, Ferraz S. Contemporary musical logos [Internet]. International Review of the Aesthetics and Sociology of Music. 2021 ; 52( 2): 173-201.[citado 2024 nov. 11 ] Available from: https://www.jstor.org/stable/48640861

  • Dissertação (Mestrado)

    Lógicas input/output e os conceitos jurídicos fundamentais de Hohfeld (2020)

    Oliveira, Gregory Wagner Nunes Carneiro de; Maranhão, Juliano Souza de Albuquerque (Orientador)

    Unidade: FD

    Subjects: FILOSOFIA DO DIREITO, DEVER, LÓGICA, LINGUAGEM

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

    • ABNT

      OLIVEIRA, Gregory Wagner Nunes Carneiro de. Lógicas input/output e os conceitos jurídicos fundamentais de Hohfeld. 2020. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/2/2139/tde-04052021-011111/. Acesso em: 11 nov. 2024.

    • APA

      Oliveira, G. W. N. C. de. (2020). Lógicas input/output e os conceitos jurídicos fundamentais de Hohfeld (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/2/2139/tde-04052021-011111/

    • NLM

      Oliveira GWNC de. Lógicas input/output e os conceitos jurídicos fundamentais de Hohfeld [Internet]. 2020 ;[citado 2024 nov. 11 ] Available from: https://www.teses.usp.br/teses/disponiveis/2/2139/tde-04052021-011111/

    • Vancouver

      Oliveira GWNC de. Lógicas input/output e os conceitos jurídicos fundamentais de Hohfeld [Internet]. 2020 ;[citado 2024 nov. 11 ] Available from: https://www.teses.usp.br/teses/disponiveis/2/2139/tde-04052021-011111/

  • Trabalho de evento

    Enhancing recursive graph querying on RDBMS with data clustering approaches (2020)

    Scabora, Lucas de Carvalho ; Spadon, Gabriel ; Oliveira, Paulo Henrique de ; Rodrigues Junior, José Fernando ; Traina Junior, Caetano

    Source: Proceedings. Conference titles: ACM/SIGAPP Symposium on Applied Computing - SAC. Unidade: ICMC

    Subjects: BANCO DE DADOS, CLUSTERS, LÓGICA

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

    • ABNT

      SCABORA, Lucas de Carvalho et al. Enhancing recursive graph querying on RDBMS with data clustering approaches. 2020, Anais.. New York: ACM, 2020. Disponível em: https://doi.org/10.1145/3341105.3375770. Acesso em: 11 nov. 2024.

    • APA

      Scabora, L. de C., Spadon, G., Oliveira, P. H. de, Rodrigues Junior, J. F., & Traina Junior, C. (2020). Enhancing recursive graph querying on RDBMS with data clustering approaches. In Proceedings. New York: ACM. doi:10.1145/3341105.3375770

    • NLM

      Scabora L de C, Spadon G, Oliveira PH de, Rodrigues Junior JF, Traina Junior C. Enhancing recursive graph querying on RDBMS with data clustering approaches [Internet]. Proceedings. 2020 ;[citado 2024 nov. 11 ] Available from: https://doi.org/10.1145/3341105.3375770

    • Vancouver

      Scabora L de C, Spadon G, Oliveira PH de, Rodrigues Junior JF, Traina Junior C. Enhancing recursive graph querying on RDBMS with data clustering approaches [Internet]. Proceedings. 2020 ;[citado 2024 nov. 11 ] Available from: https://doi.org/10.1145/3341105.3375770

  • Trabalho de evento-anais periodico

    Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (2020)

    Finger, Marcelo ; Preto, Sandro

    Source: Journal of Automated Reasoning. Conference titles: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME

    Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA

    Versão AceitaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e PRETO, Sandro. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10817-020-09558-9. Acesso em: 11 nov. 2024. , 2020

    • APA

      Finger, M., & Preto, S. (2020). Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10817-020-09558-9

    • NLM

      Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2024 nov. 11 ] Available from: https://doi.org/10.1007/s10817-020-09558-9

    • Vancouver

      Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2024 nov. 11 ] Available from: https://doi.org/10.1007/s10817-020-09558-9

  • Texto na web

    Lógica e Direito na pesquisa científica (2020)

    Rodas, João Grandino

    Source: Consultor Jurídico. Unidade: FD

    Subjects: ENSINO SUPERIOR, ENSINO JURÍDICO, METODOLOGIA DA PESQUISA, LÓGICA

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

    • ABNT

      RODAS, João Grandino. Lógica e Direito na pesquisa científica. Consultor Jurídico. São Paulo: Faculdade de Direito, Universidade de São Paulo. Disponível em: https://www.conjur.com.br/2020-nov-12/olhar-economico-logica-direito-pesquisa-cientifica. Acesso em: 11 nov. 2024. , 2020

    • APA

      Rodas, J. G. (2020). Lógica e Direito na pesquisa científica. Consultor Jurídico. São Paulo: Faculdade de Direito, Universidade de São Paulo. Recuperado de https://www.conjur.com.br/2020-nov-12/olhar-economico-logica-direito-pesquisa-cientifica

    • NLM

      Rodas JG. Lógica e Direito na pesquisa científica [Internet]. Consultor Jurídico. 2020 ;12 no 2020[citado 2024 nov. 11 ] Available from: https://www.conjur.com.br/2020-nov-12/olhar-economico-logica-direito-pesquisa-cientifica

    • Vancouver

      Rodas JG. Lógica e Direito na pesquisa científica [Internet]. Consultor Jurídico. 2020 ;12 no 2020[citado 2024 nov. 11 ] Available from: https://www.conjur.com.br/2020-nov-12/olhar-economico-logica-direito-pesquisa-cientifica

  • Parte de monografia/livro

    Extending EL++ with linear constraints on the probability of axioms (2019)

    Finger, Marcelo

    Source: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME

    Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO

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

    • ABNT

      FINGER, Marcelo. Extending EL++ with linear constraints on the probability of axioms. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Tradução . Cham: Springer, 2019. . Disponível em: https://doi.org/10.1007/978-3-030-22102-7_13. Acesso em: 11 nov. 2024.

    • APA

      Finger, M. (2019). Extending EL++ with linear constraints on the probability of axioms. In Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. doi:10.1007/978-3-030-22102-7_13

    • NLM

      Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 nov. 11 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13

    • Vancouver

      Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 nov. 11 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13

  • Trabalho de evento-resumo

    Sparse models: a tractable fragment for SAT, MAXSAT and PSAT (2019)

    Finger, Marcelo

    Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Subjects: LÓGICA, PROBABILIDADE

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 11 nov. 2024.

    • APA

      Finger, M. (2019). Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • NLM

      Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 11 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • Vancouver

      Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 11 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

  • Trabalho de evento-resumo

    Logics in artificial intelligence (2019)

    Wassermann, Renata

    Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, 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

      WASSERMANN, Renata. Logics in artificial intelligence. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 11 nov. 2024.

    • APA

      Wassermann, R. (2019). Logics in artificial intelligence. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • NLM

      Wassermann R. Logics in artificial intelligence [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 11 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • Vancouver

      Wassermann R. Logics in artificial intelligence [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 11 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

  • Parte de monografia/livro

    Biblioteconomia e lógica: apontamentos sobre argumentos e classificações (2019)

    Francelin, Marivalde Moacir ; Lima, Vânia Mara Alves

    Source: Tópicos para o ensino de biblioteconomia: volume II. Unidade: ECA

    Subjects: REPRESENTAÇÃO DESCRITIVA, CLASSIFICAÇÃO, CONHECIMENTO, LÓGICA

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

    • ABNT

      FRANCELIN, Marivalde Moacir e LIMA, Vânia Mara Alves. Biblioteconomia e lógica: apontamentos sobre argumentos e classificações. Tópicos para o ensino de biblioteconomia: volume II. Tradução . São Paulo: ECA-USP, 2019. . Disponível em: https://doi.org/10.11606/9788572051996. Acesso em: 11 nov. 2024.

    • APA

      Francelin, M. M., & Lima, V. M. A. (2019). Biblioteconomia e lógica: apontamentos sobre argumentos e classificações. In Tópicos para o ensino de biblioteconomia: volume II. São Paulo: ECA-USP. doi:10.11606/9788572051996

    • NLM

      Francelin MM, Lima VMA. Biblioteconomia e lógica: apontamentos sobre argumentos e classificações [Internet]. In: Tópicos para o ensino de biblioteconomia: volume II. São Paulo: ECA-USP; 2019. [citado 2024 nov. 11 ] Available from: https://doi.org/10.11606/9788572051996

    • Vancouver

      Francelin MM, Lima VMA. Biblioteconomia e lógica: apontamentos sobre argumentos e classificações [Internet]. In: Tópicos para o ensino de biblioteconomia: volume II. São Paulo: ECA-USP; 2019. [citado 2024 nov. 11 ] Available from: https://doi.org/10.11606/9788572051996

  • Artigo de periodico

    Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade (2019)

    Perez, Clotilde ; Trindade, Eneus

    Source: Matrizes. Unidade: ECA

    Subjects: CONSUMO, SEMIÓTICA, COMUNICAÇÃO, ESTÉTICA, ÉTICA, LÓGICA

    Versão PublicadaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PEREZ, Clotilde e TRINDADE, Eneus. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade. Matrizes, v. 13, n. 3, p. 109-126, 2019Tradução . . Disponível em: https://doi.org/10.11606/issn.1982-8160.v13i3p109-126. Acesso em: 11 nov. 2024.

    • APA

      Perez, C., & Trindade, E. (2019). Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade. Matrizes, 13( 3), 109-126. doi:10.11606/issn.1982-8160.v13i3p109-126

    • NLM

      Perez C, Trindade E. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade [Internet]. Matrizes. 2019 ; 13( 3): 109-126.[citado 2024 nov. 11 ] Available from: https://doi.org/10.11606/issn.1982-8160.v13i3p109-126

    • Vancouver

      Perez C, Trindade E. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade [Internet]. Matrizes. 2019 ; 13( 3): 109-126.[citado 2024 nov. 11 ] Available from: https://doi.org/10.11606/issn.1982-8160.v13i3p109-126

1 - 20 (149 records)

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