Buscas alternativas:
processo complement » processo complexo (Expandir a busca), processo completo (Expandir a busca)
parallel processo » parallel processors (Expandir a busca), parallel processes (Expandir a busca), parallel processing (Expandir a busca)
algorithm path » algorithm with (Expandir a busca), algorithms with (Expandir a busca), algorithms data (Expandir a busca)
path method » eaton method (Expandir a busca), flash method (Expandir a busca)
processo complement » processo complexo (Expandir a busca), processo completo (Expandir a busca)
parallel processo » parallel processors (Expandir a busca), parallel processes (Expandir a busca), parallel processing (Expandir a busca)
algorithm path » algorithm with (Expandir a busca), algorithms with (Expandir a busca), algorithms data (Expandir a busca)
path method » eaton method (Expandir a busca), flash method (Expandir a busca)
1
“... em um conjunto de pares de conexões que são formados por fórmulas atômicas complementares encontradas ao longo...”
Conversão de provas em lógica de descrições ALC geradas pelo método de conexões para sequentes
Tese