Buscas alternativas:
programa complement » programas complementares (Expandir a busca), programa implementado (Expandir a busca), programa suplementar (Expandir a busca)
parallel programa » parallel programs (Expandir a busca), parallel programing (Expandir a busca), parallel programming (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)
programa complement » programas complementares (Expandir a busca), programa implementado (Expandir a busca), programa suplementar (Expandir a busca)
parallel programa » parallel programs (Expandir a busca), parallel programing (Expandir a busca), parallel programming (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