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