000 -ETIQUETA DE REGISTO |
Campo de Controlo de Tamanho Fixo |
01408nam a22003731i 4500 |
005 - IDENTIFICADOR DA VERSÃO |
Campo de Controlo |
20210622142058.0 |
010 ## - NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
0-19-853745-X (Vol.1) |
010 ## - NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
ISBN: 0-19-853746-8 (Vol. 2) |
010 ## - NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
ISBN: 0-19-853747-6 (Vol. 3) |
010 ## - NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
ISBN: 0-19-853791-3 (Vol. 4) |
010 ## - NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
NÚMERO INTERNACIONAL NORMALIZADO DOS LIVROS (ISBN) |
ISBN: 0-19-853792-1 (vol. 5) |
100 ## - DADOS GERAIS DE PROCESSAMENTO |
Dados gerais de processamento |
20170214 pory50 |
200 1# - TÍTULO E MENÇÃO DE RESPONSABILIDADE |
Título próprio |
Handbook of logic in artificial intelligence and logic programming |
Primeira menção de responsabilidade |
Dov M. Gabbay, C. J. Hogger, J. A. Robinson |
Outras menções de responsabilidade |
colab. J. Siekmann |
210 ## - PUBLICAÇÃO, DISTRIBUIÇÃO, ETC. |
Lugar da publicação, distribuição, etc. |
Oxford |
Nome do editor, distribuidor, etc. |
Clarendon |
Data da publicação, distribuição, etc. |
1996 |
215 ## - DESCRIÇÃO FÍSICA |
Indicação específica do tipo de material e extensão do item |
[pag.var] |
Outras indicações físicas |
il. |
300 ## - NOTAS GERAIS |
Texto da nota |
Contém 5 volumes |
327 ## - NOTA DE CONTEÚDO |
Texto da nota |
Vol. 1: Logical foundations. - 1993. - XIII, 518 p. |
327 ## - NOTA DE CONTEÚDO |
Texto da nota |
Vol. 2: Deduction methodologies. - 1994. - XV, 511 p. |
327 ## - NOTA DE CONTEÚDO |
Texto da nota |
Vol.3: Nonmonotonic reasoning and uncertain reasoning. - 1994. - XIX, 529 p. |
327 ## - NOTA DE CONTEÚDO |
Texto da nota |
Vol. 4: Epistemic and temporal reasoning. - 1995. - XVI, 611 p. |
327 ## - NOTA DE CONTEÚDO |
Texto da nota |
Vol. 5: Logic programming. - 1998. - XV, 799 p. |
606 ## - NOME COMUM USADO COMO ASSUNTO |
Elemento de entrada |
Inteligência artificial |
606 ## - NOME COMUM USADO COMO ASSUNTO |
Elemento de entrada |
Programação lógica |
606 ## - NOME COMUM USADO COMO ASSUNTO |
Elemento de entrada |
Lógica simbólica |
606 ## - NOME COMUM USADO COMO ASSUNTO |
Elemento de entrada |
Lógica matemática |
675 ## - CLASSIFICAÇÃO DECIMAL UNIVERSAL (CDU) |
Notação |
004.8 |
700 #1 - NOME DE PESSOA - RESPONSABILIDADE PRINCIPAL |
Palavra de ordem |
GABBAY |
Outra parte do nome não tomada para palavra de ordem |
Dov M. |
701 ## - NOME DE PESSOA - CO-RESPONSABILIDADE PRINCIPAL |
Palavra de ordem |
HOGGER |
Outra parte do nome não tomada para palavra de ordem |
C. J. |
701 ## - NOME DE PESSOA - CO-RESPONSABILIDADE PRINCIPAL |
Palavra de ordem |
ROBINSON |
Outra parte do nome não tomada para palavra de ordem |
J. A. |
702 ## - NOME DE PESSOA - RESPONSABILIDADE SECUNDÁRIA |
Palavra de ordem |
SIEKMANN |
Outra parte do nome não tomada para palavra de ordem |
J. |
852 ## - LOCALIZAÇÃO E COTA |
Identificador da Instituição |
ISEL |
Identificador de sub-localização |
Biblioteca |
Prefixo de Cota |
GAB. |
Cota - CDU |
004.8 |
090 ## - System Control Numbers (Koha) |
Koha biblioitem number (autogenerated) |
14730 |
942 ## - Elementos de Entrada Adicionais (KOHA) |
Koha tipo de item |
Livro |