Coelho, Hélder, 1948-
Geom
Geom; : a prolog geometry theorem prover
/ Helder Coelho, Luís Moniz Pereira.
- Lisboa : L.N.E.C., 1979.
- 70, [1] p. ; 25 cm.
- (Memória : 525)
Geometria Geral / Teoremas de Integração /
CDU 519CDU 514
FG 5 cx18/21 (Biblioteca Pública Arquivo Regional de Ponta Delgada) - PDFG55896