1
Assuntos:
“...[en] PROOF ASSISTANT...”
[en] FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER
Tese
2
Assuntos:
“...Mathematical logic. Proof assistant. Interactive tutorial. Teaching logic...”
A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração...
Dissertação