Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia

De Wiki DAINF
Edição feita às 12h12min de 3 de agosto de 2009 por Adolfo (disc | contribs)
(dif) ← Versão anterior | ver versão atual (dif) | Versão posterior → (dif)

Descrição das Atividades

  1. Levantamento bibliográfico sobre implementações de provadores de teoremas para a lógica C1
  2. Estudo detalhado do sistema KEMS
  3. Especificação e Projeto da Estratégia
  4. Implementação da Estratégia
  5. Testes
  6. Escrita do Relatório Final
Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Implementa%C3%A7%C3%A3o_de_uma_Estrat%C3%A9gia_Eficiente_para_a_L%C3%B3gica_C1_em_um_Provador_de_Teoremas_Multi-Estrat%C3%A9gia&oldid=2145"
Ferramentas pessoais