Dedução Automática

• Artigos publicados ou apresentados em congressos
  1. Implementing a Deduction System for a Guarded Commands Procedural Language Using a Generic Theorem Prover, Pedro Quaresma de Almeida, Proceedings of the 11th ISAI, CIS Report #9502, Center for Intelligent Systems, Technion - Israel Institute of Technology, Haifa, 1995.
• Resanha - Base de Dados sobre provadores de teoremas.
  1. Resanha.dat
     Ficheiro de texto em formato edb (Emacs database).
  2. Resanha.fmt
     Ficheiro de texto com a informação referente à formatação da base de dados.
• Automated Reasoning System Implementations
  1. USA at Stanford University
  2. Germany.
  3. Local copy (96/18/09).
• Artigos sobre vários Provadores de Teoremas
• Provadores de Teoremas escritos em ML
• Página Inicial do Isabelle (Isabelle home-page, Cambridge - UK)
• Página Inicial do ICLE (Imperial College Logic Environment, London. - UK)
• Página Inicial do HOL Theorem Proving System (Cambridge Computer Lab).
• Página Inicial do ELF (Edinburgh Logical Framework, Carnegie Mellon University) .
• Logical Frameworks home page at CMU.