Mostrando 1 - 4 resultados de 4 para a busca 'parallel equations logic programming', tempo de busca: 0,18s

3

Assuntos: ...CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICA...

Simulação numérica tridimensional para escoamentos em reservatórios de petróleo heterogêneos

Publicado em 2012
Dissertação

4

... em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas....

Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos

Publicado em 1995
Tese