Buscas alternativas:
programas complement » programas complementares (Expandir a busca), programas compreensao (Expandir a busca), programas compoe (Expandir a busca)
parallel programas » 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)
programas complement » programas complementares (Expandir a busca), programas compreensao (Expandir a busca), programas compoe (Expandir a busca)
parallel programas » 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
2
“... paralelas e complementares: (i) a teórica, conduzida em torno dos significados atribuídos ao conceito...”
Análise da sistematicidade de analogias em contextos de ensino e de pesquisa na educação em ciências
Dissertação