Filtros : "LÓGICA" Limpar

Filtros



Refine with date range


  • Unidade: FFLCH

    Subjects: LÓGICA, LINGUÍSTICA

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

      OLIVEIRA, Luiz Roberto Peel Furtado de. Yuokeimenon: o principio da oracao. 1994. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1994. . Acesso em: 23 abr. 2024.
    • APA

      Oliveira, L. R. P. F. de. (1994). Yuokeimenon: o principio da oracao (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
    • NLM

      Oliveira LRPF de. Yuokeimenon: o principio da oracao. 1994 ;[citado 2024 abr. 23 ]
    • Vancouver

      Oliveira LRPF de. Yuokeimenon: o principio da oracao. 1994 ;[citado 2024 abr. 23 ]
  • Unidade: FFLCH

    Subjects: LÓGICA, FILOSOFIA CONTEMPORÂNEA

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

      SANTOS, Luiz Henrique Lopes dos. Verdade e método: um ensaio sobre a lógica segundo Frege. 1981. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1981. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-19062023-115653/. Acesso em: 23 abr. 2024.
    • APA

      Santos, L. H. L. dos. (1981). Verdade e método: um ensaio sobre a lógica segundo Frege (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-19062023-115653/
    • NLM

      Santos LHL dos. Verdade e método: um ensaio sobre a lógica segundo Frege [Internet]. 1981 ;[citado 2024 abr. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-19062023-115653/
    • Vancouver

      Santos LHL dos. Verdade e método: um ensaio sobre a lógica segundo Frege [Internet]. 1981 ;[citado 2024 abr. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-19062023-115653/
  • Source: Ágora: Estudos em Teoria Psicanalítica. Unidade: IP

    Subjects: LÓGICA, ÉTICA, PSICANÁLISE

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

      DUNKER, Christian Ingo Lenz. Verdade e metalinguagem em Lacan. Ágora: Estudos em Teoria Psicanalítica. Rio de Janeiro: Instituto de Psicologia, Universidade de São Paulo. . Acesso em: 23 abr. 2024. , 2012
    • APA

      Dunker, C. I. L. (2012). Verdade e metalinguagem em Lacan. Ágora: Estudos em Teoria Psicanalítica. Rio de Janeiro: Instituto de Psicologia, Universidade de São Paulo.
    • NLM

      Dunker CIL. Verdade e metalinguagem em Lacan. Ágora: Estudos em Teoria Psicanalítica. 2012 ;( 3): 513-518.[citado 2024 abr. 23 ]
    • Vancouver

      Dunker CIL. Verdade e metalinguagem em Lacan. Ágora: Estudos em Teoria Psicanalítica. 2012 ;( 3): 513-518.[citado 2024 abr. 23 ]
  • Source: Proceedings of COBEM. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: REDES DE PETRI (MODELAGEM), CONTROLE DE PROCESSOS, GESTÃO POR PROCESSOS, LÓGICA

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

      DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Using time petri nets for modeling and verification of timed constrained workflow systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf. Acesso em: 23 abr. 2024.
    • APA

      Del Foyo, P. M. G., & Silva, J. R. (2007). Using time petri nets for modeling and verification of timed constrained workflow systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf
    • NLM

      Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 abr. 23 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf
    • Vancouver

      Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 abr. 23 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf
  • Unidade: FFLCH

    Subjects: TEORIA DOS TIPOS, ARITMÉTICA, LÓGICA, LÓGICA (FILOSOFIA)

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

      VICENTE, Luciano. Uma prova de incompletude da aritmética baseada no teorema das definições recursivas. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/. Acesso em: 23 abr. 2024.
    • APA

      Vicente, L. (2008). Uma prova de incompletude da aritmética baseada no teorema das definições recursivas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/
    • NLM

      Vicente L. Uma prova de incompletude da aritmética baseada no teorema das definições recursivas [Internet]. 2008 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/
    • Vancouver

      Vicente L. Uma prova de incompletude da aritmética baseada no teorema das definições recursivas [Internet]. 2008 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/
  • Source: O Estado de São Paulo. Unidade: FFLCH

    Subjects: LÓGICA, INTELECTUAIS, MEMORIALISMO

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

      COSTA, Newton Carneiro Affonso da. Um lógico na ilha da fantasia. [Depoimento a Daniel Piza]. O Estado de São Paulo. São Paulo: Faculdade de Filosofia, Letras e Ciências Humanas, Universidade de São Paulo. . Acesso em: 23 abr. 2024. , 2008
    • APA

      Costa, N. C. A. da. (2008). Um lógico na ilha da fantasia. [Depoimento a Daniel Piza]. O Estado de São Paulo. São Paulo: Faculdade de Filosofia, Letras e Ciências Humanas, Universidade de São Paulo.
    • NLM

      Costa NCA da. Um lógico na ilha da fantasia. [Depoimento a Daniel Piza]. O Estado de São Paulo. 2008 ;10 fe 2008. p. 24[citado 2024 abr. 23 ]
    • Vancouver

      Costa NCA da. Um lógico na ilha da fantasia. [Depoimento a Daniel Piza]. O Estado de São Paulo. 2008 ;10 fe 2008. p. 24[citado 2024 abr. 23 ]
  • Source: Advances in temporal logic. Unidade: IME

    Assunto: LÓGICA

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

      FINGER, Marcelo e REYNOLDS, Mark. Two-dimensional executable temporal logic for bitemporal databases. Advances in temporal logic. Tradução . Dordrecht: Springer, 2000. . Disponível em: https://doi.org/10.1007/978-94-015-9586-5_20. Acesso em: 23 abr. 2024.
    • APA

      Finger, M., & Reynolds, M. (2000). Two-dimensional executable temporal logic for bitemporal databases. In Advances in temporal logic. Dordrecht: Springer. doi:10.1007/978-94-015-9586-5_20
    • NLM

      Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20
    • Vancouver

      Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20
  • Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME

    Subjects: TEORIA DA REPRESENTAÇÃO, LÓGICA, REVISÃO DE CRENÇAS

    Versão AceitaAcesso à fonteDOIHow 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 WASSERMANN, Renata. Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, n. 87, p. 233–257, 2019Tradução . . Disponível em: https://doi.org/10.1007/s10472-019-09656-4. Acesso em: 23 abr. 2024.
    • APA

      Oliveira, P. de T. G., & Wassermann, R. (2019). Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, ( 87), 233–257. doi:10.1007/s10472-019-09656-4
    • NLM

      Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/s10472-019-09656-4
    • Vancouver

      Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/s10472-019-09656-4
  • Source: Matrizes. Unidade: ECA

    Subjects: CONSUMO, SEMIÓTICA, COMUNICAÇÃO, ESTÉTICA, ÉTICA, LÓGICA

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

      PEREZ, Clotilde e TRINDADE, Eneus. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade. Matrizes, v. 13, n. 3, p. 109-126, 2019Tradução . . Disponível em: https://doi.org/10.11606/issn.1982-8160.v13i3p109-126. Acesso em: 23 abr. 2024.
    • APA

      Perez, C., & Trindade, E. (2019). Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade. Matrizes, 13( 3), 109-126. doi:10.11606/issn.1982-8160.v13i3p109-126
    • NLM

      Perez C, Trindade E. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade [Internet]. Matrizes. 2019 ; 13( 3): 109-126.[citado 2024 abr. 23 ] Available from: https://doi.org/10.11606/issn.1982-8160.v13i3p109-126
    • Vancouver

      Perez C, Trindade E. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade [Internet]. Matrizes. 2019 ; 13( 3): 109-126.[citado 2024 abr. 23 ] Available from: https://doi.org/10.11606/issn.1982-8160.v13i3p109-126
  • Source: Anais. Conference titles: Encontro Anual da Compós. Unidade: ECA

    Subjects: CONSUMO, SEMIÓTICA, COMUNICAÇÃO, ESTÉTICA, ÉTICA, LÓGICA

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

      PEREZ, Clotilde e TRINDADE, Eneus. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade. 2018, Anais.. Belo Horizonte: Escola de Comunicações e Artes, Universidade de São Paulo, 2018. Disponível em: https://www.eca.usp.br/acervo/producao-academica/003023429.pdf. Acesso em: 23 abr. 2024.
    • APA

      Perez, C., & Trindade, E. (2018). Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade. In Anais. Belo Horizonte: Escola de Comunicações e Artes, Universidade de São Paulo. Recuperado de https://www.eca.usp.br/acervo/producao-academica/003023429.pdf
    • NLM

      Perez C, Trindade E. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade [Internet]. Anais. 2018 ;[citado 2024 abr. 23 ] Available from: https://www.eca.usp.br/acervo/producao-academica/003023429.pdf
    • Vancouver

      Perez C, Trindade E. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade [Internet]. Anais. 2018 ;[citado 2024 abr. 23 ] Available from: https://www.eca.usp.br/acervo/producao-academica/003023429.pdf
  • Unidade: FFLCH

    Subjects: FILOSOFIA CONTEMPORÂNEA, LÓGICA

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

      Tractatus logico-philosophicus. . São Paulo: EDUSP. . Acesso em: 23 abr. 2024. , 2010
    • APA

      Tractatus logico-philosophicus. (2010). Tractatus logico-philosophicus. São Paulo: EDUSP.
    • NLM

      Tractatus logico-philosophicus. 2010 ;[citado 2024 abr. 23 ]
    • Vancouver

      Tractatus logico-philosophicus. 2010 ;[citado 2024 abr. 23 ]
  • Unidade: FFLCH

    Subjects: FILOSOFIA CONTEMPORÂNEA, LÓGICA

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

      Tractatus logico-philosophicus. . São Paulo: Edusp. . Acesso em: 23 abr. 2024. , 2001
    • APA

      Tractatus logico-philosophicus. (2001). Tractatus logico-philosophicus. São Paulo: Edusp.
    • NLM

      Tractatus logico-philosophicus. 2001 ;[citado 2024 abr. 23 ]
    • Vancouver

      Tractatus logico-philosophicus. 2001 ;[citado 2024 abr. 23 ]
  • Unidade: FFLCH

    Subjects: FILOSOFIA, LÓGICA

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

      Tractatus logico-philosophicus. . Sao Paulo: Usp. . Acesso em: 23 abr. 2024. , 1993
    • APA

      Tractatus logico-philosophicus. (1993). Tractatus logico-philosophicus. Sao Paulo: Usp.
    • NLM

      Tractatus logico-philosophicus. 1993 ;[citado 2024 abr. 23 ]
    • Vancouver

      Tractatus logico-philosophicus. 1993 ;[citado 2024 abr. 23 ]
  • Unidade: FFLCH

    Subjects: FILOSOFIA CONTEMPORÂNEA, LÓGICA MATEMÁTICA, LÓGICA

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

      Tractatus logico-philosophicus. . São Paulo: Companhia Editora Nacional. . Acesso em: 23 abr. 2024. , 1968
    • APA

      Tractatus logico-philosophicus. (1968). Tractatus logico-philosophicus. São Paulo: Companhia Editora Nacional.
    • NLM

      Tractatus logico-philosophicus. 1968 ;[citado 2024 abr. 23 ]
    • Vancouver

      Tractatus logico-philosophicus. 1968 ;[citado 2024 abr. 23 ]
  • Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA

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

      FINGER, Marcelo. Towards structurally-free theorem proving. Logic Journal of the IGPL, v. 6, n. 3, p. 425-449, 1998Tradução . . Disponível em: https://doi.org/10.1093/jigpal/6.3.425. Acesso em: 23 abr. 2024.
    • APA

      Finger, M. (1998). Towards structurally-free theorem proving. Logic Journal of the IGPL, 6( 3), 425-449. doi:10.1093/jigpal/6.3.425
    • NLM

      Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
    • Vancouver

      Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
  • Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME

    Subjects: APROXIMAÇÃO POR POLINÔMIOS, LÓGICA

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

      FINGER, Marcelo. Towards polynomial approximations of full propositional logic. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_2. Acesso em: 23 abr. 2024.
    • APA

      Finger, M. (2004). Towards polynomial approximations of full propositional logic. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_2
    • NLM

      Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
    • Vancouver

      Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 abr. 23 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
  • Unidade: IME

    Subjects: TEORIA DO CONHECIMENTO, LÓGICA, SISTEMAS DISTRIBUÍDOS

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

      WASSERMANN, Renata e SILVA, Flávio Soares Corrêa da. Towards efficient modelling of distributed knowledge using equational and order-sorted logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/c61cf59b-095a-46e1-b424-da1a3646cb1a/869410.pdf. Acesso em: 23 abr. 2024. , 1994
    • APA

      Wassermann, R., & Silva, F. S. C. da. (1994). Towards efficient modelling of distributed knowledge using equational and order-sorted logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/c61cf59b-095a-46e1-b424-da1a3646cb1a/869410.pdf
    • NLM

      Wassermann R, Silva FSC da. Towards efficient modelling of distributed knowledge using equational and order-sorted logic [Internet]. 1994 ;[citado 2024 abr. 23 ] Available from: https://repositorio.usp.br/directbitstream/c61cf59b-095a-46e1-b424-da1a3646cb1a/869410.pdf
    • Vancouver

      Wassermann R, Silva FSC da. Towards efficient modelling of distributed knowledge using equational and order-sorted logic [Internet]. 1994 ;[citado 2024 abr. 23 ] Available from: https://repositorio.usp.br/directbitstream/c61cf59b-095a-46e1-b424-da1a3646cb1a/869410.pdf
  • Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME

    Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, LÓGICA

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

      RIBEIRO, Jandson S e NAYAK, Abhaya e WASSERMANN, Renata. Towards belief contraction without compactness. 2018, Anais.. Palo Alto: AAAI Press, 2018. Disponível em: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060. Acesso em: 23 abr. 2024.
    • APA

      Ribeiro, J. S., Nayak, A., & Wassermann, R. (2018). Towards belief contraction without compactness. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
    • NLM

      Ribeiro JS, Nayak A, Wassermann R. Towards belief contraction without compactness [Internet]. Proceedings. 2018 ;[citado 2024 abr. 23 ] Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
    • Vancouver

      Ribeiro JS, Nayak A, Wassermann R. Towards belief contraction without compactness [Internet]. Proceedings. 2018 ;[citado 2024 abr. 23 ] Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
  • Source: Correspondence, invariance and heuristics. Unidade: FFLCH

    Subjects: FILOSOFIA DA CIÊNCIA, MECÂNICA QUÂNTICA, LÓGICA

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

      COSTA, Newton Carneiro Affonso da e FRENCH, Stevens. Towards an acceptable theory of acceptance: partial structures, inconsistency and correspondence. Correspondence, invariance and heuristics. Tradução . The Netherlands: Kluwer, 1993. . . Acesso em: 23 abr. 2024.
    • APA

      Costa, N. C. A. da, & French, S. (1993). Towards an acceptable theory of acceptance: partial structures, inconsistency and correspondence. In Correspondence, invariance and heuristics. The Netherlands: Kluwer.
    • NLM

      Costa NCA da, French S. Towards an acceptable theory of acceptance: partial structures, inconsistency and correspondence. In: Correspondence, invariance and heuristics. The Netherlands: Kluwer; 1993. [citado 2024 abr. 23 ]
    • Vancouver

      Costa NCA da, French S. Towards an acceptable theory of acceptance: partial structures, inconsistency and correspondence. In: Correspondence, invariance and heuristics. The Netherlands: Kluwer; 1993. [citado 2024 abr. 23 ]
  • Unidade: FFLCH

    Assunto: LÓGICA

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

      COSTA, N A C e BARROS, C M e ABE, J M. Topicos de teoria dos sistemas ordenados (1). . Sao Paulo: Iea-Usp. . Acesso em: 23 abr. 2024. , 1991
    • APA

      Costa, N. A. C., Barros, C. M., & Abe, J. M. (1991). Topicos de teoria dos sistemas ordenados (1). Sao Paulo: Iea-Usp.
    • NLM

      Costa NAC, Barros CM, Abe JM. Topicos de teoria dos sistemas ordenados (1). 1991 ;[citado 2024 abr. 23 ]
    • Vancouver

      Costa NAC, Barros CM, Abe JM. Topicos de teoria dos sistemas ordenados (1). 1991 ;[citado 2024 abr. 23 ]

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