GEOM : a prolog geometry theorem prover

Menção de responsabilidade: Herder Coelho, Luís Moniz Pereira
Língua: Inglês
Publicação: Lisboa: Laboratório Nacional de Engenharia Civil, 1979
Descrição : 70 p. ; [30] cm
Colecção : Memória ; 525
CDU: 514

Assunto(s):
Matemáticas --