Implementação de um provador automático de teoremas com paralelismo
É apresentada a implementação de um sistema de prova automática de teoremas baseado no Método de Eliminação de Modelos Fraca com participação dinâmica de problemas a fim de permitir o processamento em paralelo. O sistema, em sua versão seqüencial, pode ser executado em qualquer equipamento compatíve...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Instituto Tecnológico de Aeronáutica
1990
|
| Subjects: | |
| Online Access: | http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1463 |