ReP USP - Resultado da busca

Trabalho de evento-resumo
An abstract approach to algebraizable logics with quantifiers (2018)
Mendes, Caio de Andrade; Mariano, Hugo Luiz
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio de Andrade e MARIANO, Hugo Luiz. An abstract approach to algebraizable logics with quantifiers. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 23 maio 2024.
APA
Mendes, C. de A., & Mariano, H. L. (2018). An abstract approach to algebraizable logics with quantifiers. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-resumo
Beyond the categorial forms of the axiom of choice (2018)
Brunner, Andreas Bernhard Michael; Pinto, Darllan Conceição; Silva, Samuel Gomes da; Mariano, Hugo Luiz
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 23 maio 2024.
APA
Brunner, A. B. M., Pinto, D. C., Silva, S. G. da, & Mariano, H. L. (2018). Beyond the categorial forms of the axiom of choice. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Brunner ABM, Pinto DC, Silva SG da, Mariano HL. Beyond the categorial forms of the axiom of choice [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Brunner ABM, Pinto DC, Silva SG da, Mariano HL. Beyond the categorial forms of the axiom of choice [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-resumo
Filter pairs: a new way of presenting logics (2018)
Arndt, Peter; Jansana, Ramon; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter et al. Filter pairs: a new way of presenting logics. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 23 maio 2024.
APA
Arndt, P., Jansana, R., Mariano, H. L., & Pinto, D. C. (2018). Filter pairs: a new way of presenting logics. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Arndt P, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Arndt P, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-resumo
Logical modalities in statistical models (2018)
Stern, Julio Michael ; Esteves, Luís Gustavo; Izbicki, Rafael; Stern, Rafael Bassi
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Subjects: LÓGICA, ESTATÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael et al. Logical modalities in statistical models. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 23 maio 2024.
APA
Stern, J. M., Esteves, L. G., Izbicki, R., & Stern, R. B. (2018). Logical modalities in statistical models. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Stern JM, Esteves LG, Izbicki R, Stern RB. Logical modalities in statistical models [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Stern JM, Esteves LG, Izbicki R, Stern RB. Logical modalities in statistical models [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-resumo
κ-filter pairs and non-finitary logics (2018)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. κ-filter pairs and non-finitary logics. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 23 maio 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2018). κ-filter pairs and non-finitary logics. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Arndt P, Mariano HL, Pinto DC. κ-filter pairs and non-finitary logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Arndt P, Mariano HL, Pinto DC. κ-filter pairs and non-finitary logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-resumo
Algebraizable logics and a functorial encoding of its morphisms (2015)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Handbook of the 5th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. 2015, Anais.. Istanbul: Turkish Logic Society, 2015. Disponível em: https://www.uni-log.org/start5.html. Acesso em: 23 maio 2024.
APA
Pinto, D. C., & Mariano, H. L. (2015). Algebraizable logics and a functorial encoding of its morphisms. In Handbook of the 5th World Congress and School on Universal Logic. Istanbul: Turkish Logic Society. Recuperado de https://www.uni-log.org/start5.html
NLM
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Handbook of the 5th World Congress and School on Universal Logic. 2015 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start5.html
Vancouver
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Handbook of the 5th World Congress and School on Universal Logic. 2015 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start5.html
Trabalho de evento-resumo
Representation theory of logics: a categorial approach (2013)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Representation theory of logics: a categorial approach. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 23 maio 2024.
APA
Pinto, D. C., & Mariano, H. L. (2013). Representation theory of logics: a categorial approach. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html
Trabalho de evento-resumo
Revising formal program specifications using KMTS (2013)
Oliveira, Paulo de Tarso Guerra ; Andrade, Aline; Wassermann, Renata
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Paulo de Tarso Guerra e ANDRADE, Aline e WASSERMANN, Renata. Revising formal program specifications using KMTS. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 23 maio 2024.
APA
Oliveira, P. de T. G., Andrade, A., & Wassermann, R. (2013). Revising formal program specifications using KMTS. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Oliveira P de TG, Andrade A, Wassermann R. Revising formal program specifications using KMTS [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Oliveira P de TG, Andrade A, Wassermann R. Revising formal program specifications using KMTS [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html
Trabalho de evento-resumo
Belief revision in description logics with tipicality (2013)
Curado, José David Fernandez; Wassermann, Renata
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CURADO, José David Fernandez e WASSERMANN, Renata. Belief revision in description logics with tipicality. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 23 maio 2024.
APA
Curado, J. D. F., & Wassermann, R. (2013). Belief revision in description logics with tipicality. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Curado JDF, Wassermann R. Belief revision in description logics with tipicality [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Curado JDF, Wassermann R. Belief revision in description logics with tipicality [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html
Trabalho de evento-resumo
Traveling around the Moebius band: the logic of scientific discovery (2013)
Stern, Julio Michael
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Subjects: INFERÊNCIA BAYESIANA, ELEMENTOS QUÍMICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Traveling around the Moebius band: the logic of scientific discovery. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 23 maio 2024.
APA
Stern, J. M. (2013). Traveling around the Moebius band: the logic of scientific discovery. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Stern JM. Traveling around the Moebius band: the logic of scientific discovery [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Stern JM. Traveling around the Moebius band: the logic of scientific discovery [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html
Trabalho de evento-resumo
Graph-based pattern recognition and applications (2013)
César Júnior, Roberto Marcondes
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: RECONHECIMENTO DE PADRÕES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CÉSAR JÚNIOR, Roberto Marcondes. Graph-based pattern recognition and applications. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 23 maio 2024.
APA
César Júnior, R. M. (2013). Graph-based pattern recognition and applications. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
César Júnior RM. Graph-based pattern recognition and applications [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html
Vancouver
César Júnior RM. Graph-based pattern recognition and applications [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 23 ] Available from: https://www.uni-log.org/start4.html

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects