Publicações
- Pedro Quaresma de Almeida e Lúcia A. Martins, A
Factorização de Equações numa Aprendizagem
Assistida por Computador, Actas EPIA -86, 1986.
- Pedro Quaresma de Almeida, Estudo Comparativo de Algoritmos para
o Problema de Transporte com Custos-Fixos, Dissertação
de Mestrado, Departamento de Matemática da Universidade de
Coimbra, 1988.
- Pedro Quaresma de Almeida, Introdução ao LaTeX --
Processamento de Texto Científico, Centro de Matemática
da Universidade de Coimbra, 1990.
- Pedro Quaresma de Almeida,
Implementing a Deduction System for a Guarded Commands Procedural
Language Using a Generic Theorem Prover, Proceedings of
the 11th ISAI, CIS Report #9502, Center for Intelligent Systems,
Technion - Israel Institute of Technology, Haifa, 1995.
- Pedro Quaresma de Almeida,
Introdução ao LaTeX , Escolar Editora,
Lisboa, 1996.
- Pedro Quaresma de Almeida, Construção Modular de Sistemas de
Dedução, Dissertação de Doutoramento, Departamento de
Informática da Universidade do Minho, 1998.