Mostrando 1 - 3 resultados de 3 para a busca '(("using computation and computation program") OR ("based computational and example program"))~', tempo de busca: 1,37s Refinar Resultados
1
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Acessar documento
Tese
2
Publicado em 2002
... e flambagem de tubos em meio elástico, utilizando-se um programa de computação numérica e simbólica (Mathcad...
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese
Exportar CSV Export RIS