Bibliotecas do IPB

Vista normal Vista MARC Vista ISBD

GEOM : a prolog geometry theorem prover / Helder Coelho, Luís Miniz Pereira. - Lisboa : LNEC, 1979
. - 70, [1], p. ; 25 cm. - (Memória ) ; 525
Geometria / Teoremas / Prolog / Linguagens de programação /
Cota : CA-3332