ReP USP - Resultado da busca

Artigo de periodico
Speeding up parameter and rule learning for acyclic probabilistic logic programs (2019)
Faria, Francisco Henrique Otte Vieira de ; Gusmão, Arthur Colombini ; De Bona, Glauber ; Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: International Journal of Approximate Reasoning. Unidades: EP, IME
Subjects: PROGRAMAÇÃO LÓGICA, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FARIA, Francisco Henrique Otte Vieira de et al. Speeding up parameter and rule learning for acyclic probabilistic logic programs. International Journal of Approximate Reasoning, v. 106, p. 32-50, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2018.12.012. Acesso em: 02 ago. 2024.
APA
Faria, F. H. O. V. de, Gusmão, A. C., De Bona, G., Mauá, D. D., & Cozman, F. G. (2019). Speeding up parameter and rule learning for acyclic probabilistic logic programs. International Journal of Approximate Reasoning, 106, 32-50. doi:10.1016/j.ijar.2018.12.012
NLM
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Speeding up parameter and rule learning for acyclic probabilistic logic programs [Internet]. International Journal of Approximate Reasoning. 2019 ; 106 32-50.[citado 2024 ago. 02 ] Available from: https://doi.org/10.1016/j.ijar.2018.12.012
Vancouver
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Speeding up parameter and rule learning for acyclic probabilistic logic programs [Internet]. International Journal of Approximate Reasoning. 2019 ; 106 32-50.[citado 2024 ago. 02 ] Available from: https://doi.org/10.1016/j.ijar.2018.12.012
Parte de monografia/livro
Inconsistency measurement in probabilistic logic (2018)
De Bona, Glauber ; Finger, Marcelo ; Potyka, Nico; Thimm, Matthias
Source: Measuring inconsistency in information. Unidades: IME, EP
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber et al. Inconsistency measurement in probabilistic logic. Measuring inconsistency in information. Tradução . London: College Publications, 2018. . Disponível em: http://www.mthimm.de/pub/2018/DeBona_2018.pdf. Acesso em: 02 ago. 2024.
APA
De Bona, G., Finger, M., Potyka, N., & Thimm, M. (2018). Inconsistency measurement in probabilistic logic. In Measuring inconsistency in information. London: College Publications. Recuperado de http://www.mthimm.de/pub/2018/DeBona_2018.pdf
NLM
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 ago. 02 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Vancouver
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 ago. 02 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Trabalho de evento
Parameter learning in ProbLog with probabilistic rules (2017)
Faria, Francisco Henrique Otte Vieira de ; Gusmão, Arthur C; De Bona, Glauber ; Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: Proceedings. Conference titles: Symposium on Knowledge Discovery, Mining and Learning - KDMiLe. Unidades: IME, EP
Subjects: INTELIGÊNCIA ARTIFICIAL, APRENDIZADO COMPUTACIONAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FARIA, Francisco Henrique Otte Vieira de et al. Parameter learning in ProbLog with probabilistic rules. 2017, Anais.. Porto Alegre: SBC, 2017. Disponível em: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf. Acesso em: 02 ago. 2024.
APA
Faria, F. H. O. V. de, Gusmão, A. C., De Bona, G., Mauá, D. D., & Cozman, F. G. (2017). Parameter learning in ProbLog with probabilistic rules. In Proceedings. Porto Alegre: SBC. Recuperado de http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf
NLM
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Parameter learning in ProbLog with probabilistic rules [Internet]. Proceedings. 2017 ;[citado 2024 ago. 02 ] Available from: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf
Vancouver
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Parameter learning in ProbLog with probabilistic rules [Internet]. Proceedings. 2017 ;[citado 2024 ago. 02 ] Available from: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf
Trabalho de evento-anais periodico
Algorithms for deciding counting quantifiers over unary predicates (2017)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: AAAI Conference on Artificial Intelligence. Unidades: IME, EP
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Disponível em: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113. Acesso em: 02 ago. 2024. , 2017
APA
Finger, M., & De Bona, G. (2017). Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Recuperado de https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113
NLM
Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2024 ago. 02 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113
Vancouver
Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2024 ago. 02 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113
Trabalho de evento-anais periodico
Consolidating probabilistic knowledge bases via belief contraction (2016)
De Bona, Glauber ; Finger, Marcelo ; Ribeiro, Márcio Moretto; Santos, Yuri David; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016. Unidades: IME, EACH, EP
Subjects: LÓGICA MATEMÁTICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber et al. Consolidating probabilistic knowledge bases via belief contraction. Proceedings. Menlo Park: AAAI Publications. Disponível em: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469. Acesso em: 02 ago. 2024. , 2016
APA
De Bona, G., Finger, M., Ribeiro, M. M., Santos, Y. D., & Wassermann, R. (2016). Consolidating probabilistic knowledge bases via belief contraction. Proceedings. Menlo Park: AAAI Publications. Recuperado de https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
NLM
De Bona G, Finger M, Ribeiro MM, Santos YD, Wassermann R. Consolidating probabilistic knowledge bases via belief contraction [Internet]. Proceedings. 2016 ;[citado 2024 ago. 02 ] Available from: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
Vancouver
De Bona G, Finger M, Ribeiro MM, Santos YD, Wassermann R. Consolidating probabilistic knowledge bases via belief contraction [Internet]. Proceedings. 2016 ;[citado 2024 ago. 02 ] Available from: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
Trabalho de evento
Non-Markovian logic-probabilistic modeling and inference (2015)
Morais, Eduardo Menezes de; De Bona, Glauber ; Finger, Marcelo
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidades: EP, IME
Subjects: PROBABILIDADE, PROCESSOS DE MARKOV
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAIS, Eduardo Menezes de e DE BONA, Glauber e FINGER, Marcelo. Non-Markovian logic-probabilistic modeling and inference. 2015, Anais.. Palo Alto: AAAI Press, 2015. Disponível em: http://www.iiia.csic.es/wl4ai/files/wl4ai-2015-working-notes.pdf. Acesso em: 02 ago. 2024.
APA
Morais, E. M. de, De Bona, G., & Finger, M. (2015). Non-Markovian logic-probabilistic modeling and inference. In Proceedings. Palo Alto: AAAI Press. Recuperado de http://www.iiia.csic.es/wl4ai/files/wl4ai-2015-working-notes.pdf
NLM
Morais EM de, De Bona G, Finger M. Non-Markovian logic-probabilistic modeling and inference [Internet]. Proceedings. 2015 ;[citado 2024 ago. 02 ] Available from: http://www.iiia.csic.es/wl4ai/files/wl4ai-2015-working-notes.pdf
Vancouver
Morais EM de, De Bona G, Finger M. Non-Markovian logic-probabilistic modeling and inference [Internet]. Proceedings. 2015 ;[citado 2024 ago. 02 ] Available from: http://www.iiia.csic.es/wl4ai/files/wl4ai-2015-working-notes.pdf
Artigo de periodico
Generalized probabilistic satisfiability through integer programming (2015)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Journal of the Brazilian Computer Society. Unidades: EP, IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, COMPUTABILIDADE E COMPLEXIDADE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, v. 21, p. 14 , 2015Tradução . . Disponível em: https://doi.org/10.1186/s13173-015-0028-x. Acesso em: 02 ago. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2015). Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, 21, 14 . doi:10.1186/s13173-015-0028-x
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 ago. 02 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 ago. 02 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Artigo de periodico
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation (2015)
De Bona, Glauber ; Finger, Marcelo
Source: Artificial Intelligence. Unidades: EP, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence, v. 227, p. 140-164, 2015Tradução . . Disponível em: https://doi.org/10.1016/j.artint.2015.06.006. Acesso em: 02 ago. 2024.
APA
De Bona, G., & Finger, M. (2015). Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence, 227, 140-164. doi:10.1016/j.artint.2015.06.006
NLM
De Bona G, Finger M. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation [Internet]. Artificial Intelligence. 2015 ; 227 140-164.[citado 2024 ago. 02 ] Available from: https://doi.org/10.1016/j.artint.2015.06.006
Vancouver
De Bona G, Finger M. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation [Internet]. Artificial Intelligence. 2015 ; 227 140-164.[citado 2024 ago. 02 ] Available from: https://doi.org/10.1016/j.artint.2015.06.006
Relatorio tecnico
Notes on measuring inconsistency in probabilistic logic (2014)
De Bona, Glauber ; Finger, Marcelo
Unidades: IME, EP
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, LÓGICA MATEMÁTICA APLICADA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Notes on measuring inconsistency in probabilistic logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf. Acesso em: 02 ago. 2024. , 2014
APA
De Bona, G., & Finger, M. (2014). Notes on measuring inconsistency in probabilistic logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
NLM
De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 ago. 02 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
Vancouver
De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 ago. 02 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
Artigo de periodico
Towards classifying propositional probabilistic logics (2014)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Journal of Applied Logic. Unidades: EP, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Towards classifying propositional probabilistic logics. Journal of Applied Logic, v. 12, n. 3, p. 349-368, 2014Tradução . . Disponível em: https://doi.org/10.1016/j.jal.2014.01.005. Acesso em: 02 ago. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2014). Towards classifying propositional probabilistic logics. Journal of Applied Logic, 12( 3), 349-368. doi:10.1016/j.jal.2014.01.005
NLM
De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 ago. 02 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005
Vancouver
De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 ago. 02 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005
Trabalho de evento
Generalized probabilistic satisfiability (2013)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: EP, IME
Assunto: LÓGICA FORMAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.38. Acesso em: 02 ago. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2013). Generalized probabilistic satisfiability. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.38
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 ago. 02 ] Available from: https://doi.org/10.1109/BRACIS.2013.38
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 ago. 02 ] Available from: https://doi.org/10.1109/BRACIS.2013.38
Trabalho de evento
Satisfazibilidade Probabilística (2012)
De Bona, Glauber ; Finger, Marcelo
Source: proceedings. Conference titles: Bracis 2012 - Brazilian Conference on Intelligent Systems. Unidades: EP, IME
Assunto: PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Satisfazibilidade Probabilística. 2012, Anais.. Porto Alegre: SBC, 2012. . Acesso em: 02 ago. 2024.
APA
De Bona, G., & Finger, M. (2012). Satisfazibilidade Probabilística. In proceedings. Porto Alegre: SBC.
NLM
De Bona G, Finger M. Satisfazibilidade Probabilística. proceedings. 2012 ;[citado 2024 ago. 02 ]
Vancouver
De Bona G, Finger M. Satisfazibilidade Probabilística. proceedings. 2012 ;[citado 2024 ago. 02 ]
Trabalho de evento
Probabilistic satisfiability: logic-based algorithms and phase transition (2011)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Probabilistic satisfiability: logic-based algorithms and phase transition. 2011, Anais.. Palo Alto: AAAI Press, 2011. Disponível em: https://doi.org/10.5555/2283396.2283483. Acesso em: 02 ago. 2024.
APA
Finger, M., & De Bona, G. (2011). Probabilistic satisfiability: logic-based algorithms and phase transition. In Proceedings. Palo Alto: AAAI Press. doi:10.5555/2283396.2283483
NLM
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2024 ago. 02 ] Available from: https://doi.org/10.5555/2283396.2283483
Vancouver
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2024 ago. 02 ] Available from: https://doi.org/10.5555/2283396.2283483
Trabalho de evento
A logic based algorithm for solving probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA FORMAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. A logic based algorithm for solving probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_46. Acesso em: 02 ago. 2024.
APA
Finger, M., & De Bona, G. (2010). A logic based algorithm for solving probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_46
NLM
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Vancouver
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Trabalho de evento
A refuted conjecture on probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: IME, EP
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. A refuted conjecture on probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_30. Acesso em: 02 ago. 2024.
APA
Finger, M., & De Bona, G. (2010). A refuted conjecture on probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_30
NLM
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Vancouver
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 ago. 02 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Relatorio tecnico
Uma conjectura refutada sobre satisfazibilidade probabiliística (2009)
Finger, Marcelo ; De Bona, Glauber
Unidades: IME, EP
Assunto: PROGRAMAÇÃO MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Uma conjectura refutada sobre satisfazibilidade probabiliística. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf. Acesso em: 02 ago. 2024. , 2009
APA
Finger, M., & De Bona, G. (2009). Uma conjectura refutada sobre satisfazibilidade probabiliística. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf
NLM
Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabiliística [Internet]. 2009 ;[citado 2024 ago. 02 ] Available from: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf
Vancouver
Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabiliística [Internet]. 2009 ;[citado 2024 ago. 02 ] Available from: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Funding Agencies