Links Pesquisa
Categoria:
ATP
Strategies in Automated Deduction
CADE-18
Ferramentas de Provas
Prova de Teoremas
Lógica, História & Filosofia
Sociedades & Journals
Universidades & Grupos de Pesquisa
Haskell
Mônadas
Links:
Pacote: (proof.sty) & Lectures
Isabelle/HOL - A proof assistant for HOL
Sugestões para elaboração de documentos (Unicamp)
From PostGrad to Professional (Sam Lubbe)
On Writing in a Graduate Program (M. E. Kabay)
How to Organize your Thesis (Prof. John W. Chinneck)
The thesis (MIT)
Voltar
Abril/2004