Dedução Automática
2 Janeiro 2006
- Artigos publicados ou apresentados em congressos
-
- 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
-
Pedro Quaresma de Almeida - pedro - mat uc pt