Dedução Automática

2 Janeiro 2006

Artigos publicados ou apresentados em congressos

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.

Resanha.dat, ficheiro de texto em formato edb (Emacs database).
Resanha.fmt, ficheiro de texto com a informação referente à formatação da base de dados.

Automated Reasoning System Implementations

Mechanized Reasoning Database (USA), at Stanford University.
Mechanized Reasoning Database (Germany).
Isabelle Isabelle generic theorem proving environment home-page at Cambridge, UK.
HOL, Theorem Proving System (Cambridge Computer Lab).
ELF, Edinburgh Logical Framework, Carnegie Mellon University.
Logical Frameworks, home page at CMU.

Pedro Quaresma de Almeida - pedro - mat uc pt