GEOM: a Prolog geometry theorem prover

Helder Coelho, Luís Moniz Pereira,

Publisher	Laboratório Nacional de Engenharia Civil (LNEC)
Publisher	Laboratório Nacional de Engenharia Civil (LNEC)

Publication