ReP USP - Resultado da busca

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
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: 27 nov. 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 nov. 27 ]
Vancouver
Martins ACR. Nossas falhas de racicínio: ferramentas para pensar melhor. 2023 ;[citado 2025 nov. 27 ]
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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] 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: 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
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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] 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: 27 nov. 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 nov. 27 ] 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 nov. 27 ] Available from: https://doi.org/10.1007/s10670-023-00676-5
Parte de monografia/livro
Lógica e direito (2023)
Carvalho, Paulo de Barros
Source: 200 anos de independência : e 33 anos de Academia Brasileira de Filosofia. Unidade: FD
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARVALHO, Paulo de Barros. Lógica e direito. 200 anos de independência : e 33 anos de Academia Brasileira de Filosofia. Tradução . Rio de Janeiro: Jaguatirica, 2023. . . Acesso em: 27 nov. 2025.
APA
Carvalho, P. de B. (2023). Lógica e direito. In 200 anos de independência : e 33 anos de Academia Brasileira de Filosofia. Rio de Janeiro: Jaguatirica.
NLM
Carvalho P de B. Lógica e direito. In: 200 anos de independência : e 33 anos de Academia Brasileira de Filosofia. Rio de Janeiro: Jaguatirica; 2023. [citado 2025 nov. 27 ]
Vancouver
Carvalho P de B. Lógica e direito. In: 200 anos de independência : e 33 anos de Academia Brasileira de Filosofia. Rio de Janeiro: Jaguatirica; 2023. [citado 2025 nov. 27 ]

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects