Estimação de erro a posteriori para o método multiscale hybrid mixed MHM-H(div)
Análises numéricas aplicadas à proteção e à conservação do patrimônio cultural: um...
Ecumenismo Modal via RNmatrizes: Teoria, Implementação e Verificação
Bases para programação lógica paraconsistente em lógicas multivaloradas
Lógica da inconsistência formal com substituição: Um estudo algébrico e de teoria ...