Provadores de Teoremas

De Wiki DAINF

Ir para: navegação, pesquisa

Lista não organizada

Verit. Site: http://www.verit-solver.org/

Links

Geoff Sutcliffe's Overview of Automated Theorem Proving

Effective Theorem Proving for Hardware Verification

Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Provadores_de_Teoremas&oldid=2199"

Visualizações

Ferramentas pessoais

Autenticar-se

Pesquisar

Ferramentas