Buscas alternativas:
"theorem prover" » "theorem proving" (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca '"theorem prover"', tempo de busca: 0,05s

1

Assuntos: “...Theorem Prover...”

Component assembly and theorem proving in constraint handling rules

Publicado em 2009
Acessar documento
Dissertação

2

Assuntos: “...theorem prover...”

\"Um provador de teoremas multi-estratégia\"

Publicado em 2007
Acessar documento
Tese