GEOM : a prolog geometry theorem prover / Herder Coelho, Luís Moniz Pereira
Idioma: Inglês.País: Portugal.Publicação: Lisboa : Laboratório Nacional de Engenharia Civil, 1979Descrição: 70 p. ; [30] cmColeção: Memória, 525Assunto - Nome comum: Matemáticas Tipo de documento:| Tipo de documento | Biblioteca | Cota | Estado | Data de devolução | Código de barras | |
|---|---|---|---|---|---|---|
Livro
|
MESICT | 11864 | Disponível | BIB147290 |