Books

Published books

J. C. Cotta, Hélder Coelho and Luís Moniz Pereira, How to Solve it with Prolog, Laboratório Nacional de Engenharia Civil (LNEC), Lisbon, 1979.
Hélder Coelho and Luís Moniz Pereira, GEOM: a Prolog geometry theorem prover of Memória 525, Laboratório Nacional de Engenharia Civil (LNEC), Lisbon, 1976.

CENTRIA member

Helder Coelho
Former member

Helder Coelho

School: Univ. Lisboa
Country: Portugal

Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541