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 ]
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/
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 ]
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
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/
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 ]
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
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
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
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
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
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
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
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
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 ]