[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 3249 || A Paraconsistent Higher Order Logic
- 作者Buchberger, Bruno; Campbell, John
- 文件大小197.18KB
- 发表时间2004
- DOI10.1007/978-3-540-30210-0_5
- 页码38-51
Pneumonias necrosantes em crianças previamente saudáveisBarreira, João Luís; Pissarra, Susana; Nunes, Teresa; Rodrigues de Sousa, A.; Azevedo, Inês; Guedes-Vaz, Maria Luísa · Revista Portuguesa de Pneumologia · 2002
Report of <i>in vitro</i> antileishmanial properties of Iberian macroalgaeBruno de Sousa, Carolina; Lago, João Henrique G.; Macridachis, Jorge; Oliveira, Marta; Brito, Luis; Vizetto-Duarte, Catarina; Florindo, Cláudia; Hendrickx, Sarah; Maes, Louis; Morais, Thiago; Uemi, Miriam; Neto, Luís; Dionísio, Lídia; Cortes, Sofia; Barreira, Luísa; Custódio, Luísa; Alberício, Fernando; Campino, Lenea; Varela, João · Natural Product Research · 2018
Nonuniform exponential dichotomies and admissibilityBarreira, Luís; Valls, Claudia · Discrete and Continuous Dynamical Systems · 2011
Lyapunov Exponents ||Barreira, Luís · 2017
Lyapunov Exponents || Characterizations of RegularityBarreira, Luís · 2017
Lyapunov Exponents || Entropy SpectrumBarreira, Luís · 2017
Noninvertible cocycles: Robustness of exponential dichotomiesBarreira, Luís; Valls, Claudia · Discrete and Continuous Dynamical Systems · 2012