Mostrando 1 - 7 resultados de 7 para a busca 'parallel i logic programming', tempo de busca: 0,14s

2

... 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

3

... que esta opera com múltiplas unidades lógicas aritméticas, até milhares de unidades, bem diferente...

Otimização de busca por SNPs baseada em máscaras por meio de unidade de processamento gráfico (GPU)

Publicado em 2020
Dissertação