1
Assuntos:
“...Assistente de provas...”
Uma formalização da lógica modal usando o assistente de provas Coq.
Dissertação
2
Assuntos:
“...[pt] ASSISTENTE DE PROVAS...”
[en] FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER
Tese
3
Assuntos:
“...Assistentes de prova...”
Matemática feita no computador: estudos sobre uma coleção de sistemas formais, com uma investigação sobre estruturas indutivas, e a separação entre lógica e automação em assistente...
Dissertação
4
Assuntos:
“...[pt] ASSISTENTE DE PROVAS...”
[en] A LABELLED NATURAL DEDUCTION LOGICAL FRAMEWORK
Tese