Implementação e Automação de Sistemas de Dedução

Authors

Abstract

Implementation of an AutomaticTheorem Prover in a Funcional Language (Haskell), using a modular approach and generic programming techniques.

Keywords

Funcional Programming, Generic Programming, Automated theorem proving

Subject

Automated theorem proving

MSc Thesis

Implementação e Automação de Sistemas de Dedução, December 2004