| 000 -Etiqueta de registo |
|---|
| Campo de controlo |
00628 a2200229 4500 |
| 101 1# - Língua da publicação |
|---|
| Língua do texto, banda sonora, etc. |
português |
| Língua da obra original |
português |
| 102 ## - País de Publicação |
|---|
| País de Publicação |
Portugal |
| 100 ## - Dados gerais de processamento |
|---|
| Dados gerais de processamento |
20140909 frey50 |
| 200 1# - Título e menção de responsabilidade |
|---|
| Título próprio |
GEOM |
| Informação de outro título |
a prolog geometry theorem prover |
| Indicação genérica do tipo de material |
Monografia |
| Primeira menção de responsabilidade |
Helder Coelho, Luís Miniz Pereira |
| 210 ## - Publicação, Distribuição, etc. |
|---|
| Lugar da edição, distribuição, etc. |
Lisboa |
| Nome do editor, distribuidor, etc. |
LNEC |
| Data da publicação, distribuição, etc. |
1979 |
| 215 ## - Descrição física |
|---|
| Indicação específica do tipo de material e extensão do item |
70, [1], p. |
| Dimensões |
25 cm |
| 225 2# - Colecção |
|---|
| Título próprio da colecção |
Memória |
| Indicação de volume |
525 |
| 606 ## - Nome comum usado como assunto |
|---|
| Elemento de entrada |
Geometria |
| 606 ## - Nome comum usado como assunto |
|---|
| Elemento de entrada |
Teoremas |
| 606 ## - Nome comum usado como assunto |
|---|
| Elemento de entrada |
Prolog |
| 675 ## - Classificação decimal universal (CDU) |
|---|
| Notação |
519.68 |
| 606 ## - Nome comum usado como assunto |
|---|
| Elemento de entrada |
Linguagens de programação |
| 701 #1 - Nome de pessoa - Co-Responsabilidade principal |
|---|
| Palavra de ordem |
Pereira |
| Outra parte do nome |
Luís Moniz |
| 801 ## - Fonte de origem |
|---|
| Agência |
ESA-IPB |