000 -ETIQUETA DE REGISTO |
Campo de Controlo de Tamanho Fixo |
00758nam0a22002413i 4500 |
005 - IDENTIFICADOR DA VERSÃO |
Campo de Controlo |
20210629150946.0 |
010 ## - NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
0-13-770009-1 |
100 ## - DADOS GERAIS DE PROCESSAMENTO |
Dados gerais de processamento |
19990519d1993 m u0pory50 |
200 1# - TÍTULO E MENÇÃO DE RESPONSABILIDADE |
Título próprio |
Computation as logic |
Primeira menção de responsabilidade |
René Lalement |
Outras menções de responsabilidade |
trad. John Plaice |
210 ## - PUBLICAÇÃO, DISTRIBUIÇÃO, ETC. |
Lugar da publicação, distribuição, etc. |
Paris |
Nome do editor, distribuidor, etc. |
Masson |
Data da publicação, distribuição, etc. |
1993 |
215 ## - DESCRIÇÃO FÍSICA |
Indicação específica do tipo de material e extensão do item |
XI, 387 p. |
Outras indicações físicas |
il. |
225 #1 - COLECÇÃO |
Título próprio da colecção |
Prentice Hall International Series in Computer Science |
Menção de responsabilidade relativa à colecção |
C. A. R. Hoare |
606 ## - NOME COMUM USADO COMO ASSUNTO |
Elemento de entrada |
Programação de computadores |
606 ## - NOME COMUM USADO COMO ASSUNTO |
Elemento de entrada |
Programação lógica |
606 ## - NOME COMUM USADO COMO ASSUNTO |
Elemento de entrada |
Programação funcional |
606 ## - NOME COMUM USADO COMO ASSUNTO |
Elemento de entrada |
Ciência da computação |
675 ## - CLASSIFICAÇÃO DECIMAL UNIVERSAL (CDU) |
Notação |
004.42 |
700 #1 - NOME DE PESSOA - RESPONSABILIDADE PRINCIPAL |
Palavra de ordem |
LALEMENT |
Outra parte do nome não tomada para palavra de ordem |
René |
702 ## - NOME DE PESSOA - RESPONSABILIDADE SECUNDÁRIA |
Palavra de ordem |
PLAICE |
Outra parte do nome não tomada para palavra de ordem |
John |
852 ## - LOCALIZAÇÃO E COTA |
Identificador da Instituição |
ISEL |
Identificador de sub-localização |
Biblioteca |
Prefixo de Cota |
LAL. |
Cota - CDU |
004.42 |
090 ## - System Control Numbers (Koha) |
Koha biblioitem number (autogenerated) |
8450 |
942 ## - Elementos de Entrada Adicionais (KOHA) |
Koha tipo de item |
Livro |