CATESOC - Gabinete de Estratégia e Planeamento. Pesquisa: "AU COELHO, Herder" + "AU COELHO, Herder$" Resultados de 1 a 1 sobre 1 encontrados.
Enviar resultados por:
Envio de resultados por email
  
impressão de resultados
  
Exportação de resultados para iso2709
Visualizar no formato:
Seleccionar resultados:
    

Autor: COELHO, Herder
Título: GEOM : a prolog geometry theorem prover / Herder Coelho, Luís Moniz Pereira
Publicação: Lisboa : Laboratório Nacional de Engenharia Civil, 1979
Descrição física: 70 p. ; [30] cm
Colecção: (Memória ; 525)
Assuntos: Matemáticas
CDU: 514
Cota: 11864 MESICT 11864
Tipo de documento: Texto impresso
País de publicação: Portugal

Outro(s) autor(es) : Pereira, Luís Moniz, co-aut.



Marcar