Books

Written Books

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.

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