Menu

Filtros : "Financiamento FAPESP" "IEEE" "Finger, Marcelo" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • 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: 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

  • 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: 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

  • Trabalho de evento

    Temporal data obsolescence: modelling problems (1998)

    Finger, Marcelo ; Silva, Flávio Soares Corrêa da

    Source: Proceedings. Conference titles: International Workshop on Temporal Representation and Reasoning - TIME. Unidade: IME

    Assunto: BANCO DE DADOS

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

    • ABNT

      FINGER, Marcelo e SILVA, Flávio Soares Corrêa da. Temporal data obsolescence: modelling problems. 1998, Anais.. Piscataway: IEEE, 1998. Disponível em: https://doi.org/10.1109/TIME.1998.674130. Acesso em: 08 out. 2025.

    • APA

      Finger, M., & Silva, F. S. C. da. (1998). Temporal data obsolescence: modelling problems. In Proceedings. Piscataway: IEEE. doi:10.1109/TIME.1998.674130

    • NLM

      Finger M, Silva FSC da. Temporal data obsolescence: modelling problems [Internet]. Proceedings. 1998 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/TIME.1998.674130

    • Vancouver

      Finger M, Silva FSC da. Temporal data obsolescence: modelling problems [Internet]. Proceedings. 1998 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/TIME.1998.674130
  • 1

1 - 3 (3 records)

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