Menu

Filtros : "LÓGICA MATEMÁTICA" Limpar

Filtros

Refine with date range

61 - 80 (178 records)

  • Trabalho de evento-resumo

    Representation theory of logics: a categorial approach (2014)

    Pinto, Darllan C; Mariano, Hugo Luiz

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

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      PINTO, Darllan C e MARIANO, Hugo Luiz. Representation theory of logics: a categorial approach. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 19 abr. 2024.

    • APA

      Pinto, D. C., & Mariano, H. L. (2014). Representation theory of logics: a categorial approach. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • NLM

      Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • Vancouver

      Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

  • Trabalho de evento-resumo

    A global approach to AECs (2014)

    Mariano, Hugo Luiz ; Zambrano, Pedro H; Villaveces, Andrés

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

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      MARIANO, Hugo Luiz e ZAMBRANO, Pedro H e VILLAVECES, Andrés. A global approach to AECs. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 19 abr. 2024.

    • APA

      Mariano, H. L., Zambrano, P. H., & Villaveces, A. (2014). A global approach to AECs. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • NLM

      Mariano HL, Zambrano PH, Villaveces A. A global approach to AECs [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • Vancouver

      Mariano HL, Zambrano PH, Villaveces A. A global approach to AECs [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

  • Trabalho de evento-resumo

    Towards a good notion of categories of logics (2014)

    Mendes, Caio A; Mariano, Hugo Luiz

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

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      MENDES, Caio A e MARIANO, Hugo Luiz. Towards a good notion of categories of logics. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 19 abr. 2024.

    • APA

      Mendes, C. A., & Mariano, H. L. (2014). Towards a good notion of categories of logics. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • NLM

      Mendes CA, Mariano HL. Towards a good notion of categories of logics [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • Vancouver

      Mendes CA, Mariano HL. Towards a good notion of categories of logics [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

  • Artigo de periodico

    On the predictability of classical propositional logic (2013)

    Finger, Marcelo ; Reis, Poliana Magalhães

    Source: Information. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      FINGER, Marcelo e REIS, Poliana Magalhães. On the predictability of classical propositional logic. Information, v. 4, n. 1, p. 60-74, 2013Tradução . . Disponível em: https://doi.org/10.3390/info4010060. Acesso em: 19 abr. 2024.

    • APA

      Finger, M., & Reis, P. M. (2013). On the predictability of classical propositional logic. Information, 4( 1), 60-74. doi:10.3390/info4010060

    • NLM

      Finger M, Reis PM. On the predictability of classical propositional logic [Internet]. Information. 2013 ; 4( 1): 60-74.[citado 2024 abr. 19 ] Available from: https://doi.org/10.3390/info4010060

    • Vancouver

      Finger M, Reis PM. On the predictability of classical propositional logic [Internet]. Information. 2013 ; 4( 1): 60-74.[citado 2024 abr. 19 ] Available from: https://doi.org/10.3390/info4010060

  • Trabalho de evento-resumo periodico

    Analysing categories of signatures (2013)

    Mariano, Hugo Luiz ; Mendes, Caio de Andrade

    Source: Bulletin of Symbolic Logic. Conference titles: Latin American Symposium on Mathematical Logic - SLALM. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TEORIA DAS CATEGORIAS

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

    • ABNT

      MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Analysing categories of signatures. Bulletin of Symbolic Logic. New York: Cambridge University Press. Disponível em: https://doi.org/10.1017/S1079898600010738. Acesso em: 19 abr. 2024. , 2013

    • APA

      Mariano, H. L., & Mendes, C. de A. (2013). Analysing categories of signatures. Bulletin of Symbolic Logic. New York: Cambridge University Press. doi:10.1017/S1079898600010738

    • NLM

      Mariano HL, Mendes C de A. Analysing categories of signatures [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1017/S1079898600010738

    • Vancouver

      Mariano HL, Mendes C de A. Analysing categories of signatures [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1017/S1079898600010738

  • Dissertação (Mestrado)

    Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X (2013)

    Ignacio, Juliano da Silva; Monteiro, Waldemar Alfredo (Orientador)

    Unidade: IPEN

    Subjects: IMAGEM DIGITAL, LÓGICA MATEMÁTICA, COMPUTAÇÃO APLICADA

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

    • ABNT

      IGNACIO, Juliano da Silva. Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/85/85134/tde-14042014-135224/. Acesso em: 19 abr. 2024.

    • APA

      Ignacio, J. da S. (2013). Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/85/85134/tde-14042014-135224/

    • NLM

      Ignacio J da S. Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/85/85134/tde-14042014-135224/

    • Vancouver

      Ignacio J da S. Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/85/85134/tde-14042014-135224/

  • Artigo de periodico

    Semantics and proof-theory of depth bounded Boolean logics (2013)

    D'Agostino, Marcello; Finger, Marcelo ; Gabbay, Dov

    Source: Theoretical Computer Science. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      D'AGOSTINO, Marcello e FINGER, Marcelo e GABBAY, Dov. Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science, v. 480, p. 43-68, 2013Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2013.02.014. Acesso em: 19 abr. 2024.

    • APA

      D'Agostino, M., Finger, M., & Gabbay, D. (2013). Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science, 480, 43-68. doi:10.1016/j.tcs.2013.02.014

    • NLM

      D'Agostino M, Finger M, Gabbay D. Semantics and proof-theory of depth bounded Boolean logics [Internet]. Theoretical Computer Science. 2013 ; 480 43-68.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.tcs.2013.02.014

    • Vancouver

      D'Agostino M, Finger M, Gabbay D. Semantics and proof-theory of depth bounded Boolean logics [Internet]. Theoretical Computer Science. 2013 ; 480 43-68.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.tcs.2013.02.014

  • Trabalho de evento-resumo periodico

    Some preservation properties of the profinite hull functor of special groups and applications (2013)

    Mariano, Hugo Luiz ; Miraglia Neto, Francisco

    Source: Bulletin of Symbolic Logic. Conference titles: Latin American Symposium on Mathematical Logic - SLALM. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, ÁLGEBRA HOMOLÓGICA, TEORIA DAS CATEGORIAS

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

    • ABNT

      MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. Some preservation properties of the profinite hull functor of special groups and applications. Bulletin of Symbolic Logic. New York: Cambridge University Press. Disponível em: https://doi.org/10.1017/S1079898600010738. Acesso em: 19 abr. 2024. , 2013

    • APA

      Mariano, H. L., & Miraglia Neto, F. (2013). Some preservation properties of the profinite hull functor of special groups and applications. Bulletin of Symbolic Logic. New York: Cambridge University Press. doi:10.1017/S1079898600010738

    • NLM

      Mariano HL, Miraglia Neto F. Some preservation properties of the profinite hull functor of special groups and applications [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1017/S1079898600010738

    • Vancouver

      Mariano HL, Miraglia Neto F. Some preservation properties of the profinite hull functor of special groups and applications [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1017/S1079898600010738

  • Dissertação (Mestrado)

    Homologia O-minimal: aspectos topológicos de estruturas O-minimais (2013)

    Camargo, Henrique Meretti; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TOPOLOGIA ALGÉBRICA

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

    • ABNT

      CAMARGO, Henrique Meretti. Homologia O-minimal: aspectos topológicos de estruturas O-minimais. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-130828/. Acesso em: 19 abr. 2024.

    • APA

      Camargo, H. M. (2013). Homologia O-minimal: aspectos topológicos de estruturas O-minimais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-130828/

    • NLM

      Camargo HM. Homologia O-minimal: aspectos topológicos de estruturas O-minimais [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-130828/

    • Vancouver

      Camargo HM. Homologia O-minimal: aspectos topológicos de estruturas O-minimais [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-130828/

  • Dissertação (Mestrado)

    Uma introdução à lógica de segunda ordem (2013)

    Nogueira Júnior, Enéas Alves; Miraglia Neto, Francisco (Orientador)

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      NOGUEIRA JÚNIOR, Enéas Alves. Uma introdução à lógica de segunda ordem. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25092019-113811/. Acesso em: 19 abr. 2024.

    • APA

      Nogueira Júnior, E. A. (2013). Uma introdução à lógica de segunda ordem (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25092019-113811/

    • NLM

      Nogueira Júnior EA. Uma introdução à lógica de segunda ordem [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25092019-113811/

    • Vancouver

      Nogueira Júnior EA. Uma introdução à lógica de segunda ordem [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25092019-113811/

  • Tese (Doutorado)

    Definições parciais de verdade e sistemas de acumulação na aritmética formal (2013)

    Vicente, Luciano; Loparic, Andrea Maria Altino de Campos (Orientador)

    Unidade: FFLCH

    Subjects: TEOREMA DE GODEL’S, LÓGICA MATEMÁTICA

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

    • ABNT

      VICENTE, Luciano. Definições parciais de verdade e sistemas de acumulação na aritmética formal. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/. Acesso em: 19 abr. 2024.

    • APA

      Vicente, L. (2013). Definições parciais de verdade e sistemas de acumulação na aritmética formal (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/

    • NLM

      Vicente L. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/

    • Vancouver

      Vicente L. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/

  • 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

    Acesso à fonteHow to cite
    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: 19 abr. 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 abr. 19 ] 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 abr. 19 ] 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

    Acesso à fonteHow to cite
    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: 19 abr. 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 abr. 19 ] 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 abr. 19 ] 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

    Acesso à fonteHow to cite
    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: 19 abr. 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 abr. 19 ] 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 abr. 19 ] Available from: https://www.uni-log.org/start4.html

  • Tese (Doutorado)

    Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem (2012)

    Polastro, Rodrigo Bellizia; Cozman, Fabio Gagliardi (Orientador)

    Unidade: EP

    Subjects: INFERÊNCIA BAYESIANA, PROBABILIDADE, LÓGICA MATEMÁTICA

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

    • ABNT

      POLASTRO, Rodrigo Bellizia. Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem. 2012. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-13062013-163105/. Acesso em: 19 abr. 2024.

    • APA

      Polastro, R. B. (2012). Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-13062013-163105/

    • NLM

      Polastro RB. Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem [Internet]. 2012 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-13062013-163105/

    • Vancouver

      Polastro RB. Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem [Internet]. 2012 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-13062013-163105/

  • Trabalho de evento

    Metodologia para automação de lógica discreta mediante o emprego do padrão IEC 61850 (2012)

    Miranda, Juliano Coêlho; Silva, Lázaro Eduardo da; Chemin Netto, Ulisses; Coury, Denis Vinicius

    Source: Anais. Conference titles: Simpósio Brasileiro de Sistemas Elétricos - SBSE. Unidade: EESC

    Subjects: SISTEMAS ELÉTRICOS DE POTÊNCIA, LÓGICA MATEMÁTICA, MATEMÁTICA DISCRETA

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

    • ABNT

      MIRANDA, Juliano Coêlho et al. Metodologia para automação de lógica discreta mediante o emprego do padrão IEC 61850. 2012, Anais.. Porto Alegre: SBA, 2012. . Acesso em: 19 abr. 2024.

    • APA

      Miranda, J. C., Silva, L. E. da, Chemin Netto, U., & Coury, D. V. (2012). Metodologia para automação de lógica discreta mediante o emprego do padrão IEC 61850. In Anais. Porto Alegre: SBA.

    • NLM

      Miranda JC, Silva LE da, Chemin Netto U, Coury DV. Metodologia para automação de lógica discreta mediante o emprego do padrão IEC 61850. Anais. 2012 ;[citado 2024 abr. 19 ]

    • Vancouver

      Miranda JC, Silva LE da, Chemin Netto U, Coury DV. Metodologia para automação de lógica discreta mediante o emprego do padrão IEC 61850. Anais. 2012 ;[citado 2024 abr. 19 ]

  • Artigo de periodico

    Inconsistent-tolerant base revision through Argument Theory Change (2012)

    Moguillansky, Martin O; Wassermann, Renata ; Falappa, Marcelo A

    Source: Logic Journal of IGPL. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      MOGUILLANSKY, Martin O e WASSERMANN, Renata e FALAPPA, Marcelo A. Inconsistent-tolerant base revision through Argument Theory Change. Logic Journal of IGPL, v. 20, n. 1, p. 154-186, 2012Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzr029. Acesso em: 19 abr. 2024.

    • APA

      Moguillansky, M. O., Wassermann, R., & Falappa, M. A. (2012). Inconsistent-tolerant base revision through Argument Theory Change. Logic Journal of IGPL, 20( 1), 154-186. doi:10.1093/jigpal/jzr029

    • NLM

      Moguillansky MO, Wassermann R, Falappa MA. Inconsistent-tolerant base revision through Argument Theory Change [Internet]. Logic Journal of IGPL. 2012 ; 20( 1): 154-186.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1093/jigpal/jzr029

    • Vancouver

      Moguillansky MO, Wassermann R, Falappa MA. Inconsistent-tolerant base revision through Argument Theory Change [Internet]. Logic Journal of IGPL. 2012 ; 20( 1): 154-186.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1093/jigpal/jzr029

  • Artigo de periodico

    A planner agent that tries its best in presence of nondeterminism (2012)

    Pereira, Silvio do Lago; Barros, Leliane Nunes de

    Source: Journal of Applied Logic. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. A planner agent that tries its best in presence of nondeterminism. Journal of Applied Logic, v. 10, p. 419-430, 2012Tradução . . Disponível em: https://doi.org/10.1016/j.jal.2012.06.002. Acesso em: 19 abr. 2024.

    • APA

      Pereira, S. do L., & Barros, L. N. de. (2012). A planner agent that tries its best in presence of nondeterminism. Journal of Applied Logic, 10, 419-430. doi:10.1016/j.jal.2012.06.002

    • NLM

      Pereira S do L, Barros LN de. A planner agent that tries its best in presence of nondeterminism [Internet]. Journal of Applied Logic. 2012 ; 10 419-430.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.jal.2012.06.002

    • Vancouver

      Pereira S do L, Barros LN de. A planner agent that tries its best in presence of nondeterminism [Internet]. Journal of Applied Logic. 2012 ; 10 419-430.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.jal.2012.06.002

  • Trabalho de evento

    A contraction core for Horn belief change: preliminary report (2010)

    Booth, Richard; Meyer, Thomas; Wassermann, Renata

    Source: Proceedings. Conference titles: Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      BOOTH, Richard e MEYER, Thomas e WASSERMANN, Renata. A contraction core for Horn belief change: preliminary report. 2010, Anais.. Toronto: SFU, 2010. . Acesso em: 19 abr. 2024.

    • APA

      Booth, R., Meyer, T., & Wassermann, R. (2010). A contraction core for Horn belief change: preliminary report. In Proceedings. Toronto: SFU.

    • NLM

      Booth R, Meyer T, Wassermann R. A contraction core for Horn belief change: preliminary report. Proceedings. 2010 ;[citado 2024 abr. 19 ]

    • Vancouver

      Booth R, Meyer T, Wassermann R. A contraction core for Horn belief change: preliminary report. Proceedings. 2010 ;[citado 2024 abr. 19 ]

  • Artigo de periodico

    An isomorphic classification of C(2m×[0, α]) spaces (2009)

    Galego, Eloi Medina

    Source: Bulletin of the Polish Academy of Sciences Mathematics. Unidade: IME

    Subjects: ANÁLISE FUNCIONAL, ESPAÇOS DE BANACH, LÓGICA MATEMÁTICA

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

    • ABNT

      GALEGO, Eloi Medina. An isomorphic classification of C(2m×[0, α]) spaces. Bulletin of the Polish Academy of Sciences Mathematics, v. 57, n. 3, p. 279-287, 2009Tradução . . Disponível em: https://doi.org/10.4064/ba57-3-9. Acesso em: 19 abr. 2024.

    • APA

      Galego, E. M. (2009). An isomorphic classification of C(2m×[0, α]) spaces. Bulletin of the Polish Academy of Sciences Mathematics, 57( 3), 279-287. doi:10.4064/ba57-3-9

    • NLM

      Galego EM. An isomorphic classification of C(2m×[0, α]) spaces [Internet]. Bulletin of the Polish Academy of Sciences Mathematics. 2009 ; 57( 3): 279-287.[citado 2024 abr. 19 ] Available from: https://doi.org/10.4064/ba57-3-9

    • Vancouver

      Galego EM. An isomorphic classification of C(2m×[0, α]) spaces [Internet]. Bulletin of the Polish Academy of Sciences Mathematics. 2009 ; 57( 3): 279-287.[citado 2024 abr. 19 ] Available from: https://doi.org/10.4064/ba57-3-9

61 - 80 (178 records)

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