Catálogo bibliográfico FCT/UNL

Types in logic programming (Record no. 3337)

000 -Record Label
fixed length control field 00642nam a2200241 4500
010 ## - ISBN - International Standard Book Number
Número (ISBN) 0-262-16131-1
Qualificação encadernado
Modalidade de aquisição e/ou preço Esc 13 480$
100 ## - Entrada principal
Dados gerais de processamento 19931222d1992 k||y0pory50 ba
101 0# - Língua do documento
Língua do texto, banda sonora, etc. eng
102 ## - País da publicação
País de publicação US - United States of America
200 1# - Título
Título próprio Types in logic programming
Primeira menção de responsabilidade Frank Pfenning, ed. lit.
210 ## - Local de edição
Lugar da edição, distribuição, etc. Cambridge, US
Nome do editor, distribuidor, etc. The MIT Press
Data da publicação, distribuição, etc. cop. 1992
215 ## - Descrição física (Vol.pg.fl.tm.fsc)
Descrição física XVIII, 357 p.
Outras indicações físicas il.
Dimensões 24 cm
225 2# - Coleção
Título próprio da colecção Logic programming series
606 ## - Nome comum como assunto
Elemento de entrada Programação em lógica
Koha Internal code 195
680 ## - Classificação Biblioteca Congresso
Notação QA76.63
702 #1 - Responsabilidade secundária
Palavra de ordem Pfenning
Outra parte do nome Frank, ed. lit.
801 #0 - Fonte de origem
Regras de catalogação RPC
País Portugal
942 ## - Elementos de entrada adicionados (Koha)
Fonte da classificação ou esquema de estante
Tipo de item no Koha Monografia
Suprimido 0
Holdings
Removido (estado) Perdido (estado) Data de aquisição Número da cópia Origem do registo Código da organização que empresta ou é detentora Localização da prateleira Código de barras Coleção Número de inventário Cota Tipo de circulação Tipo de item e material Origem do registo Organização que empresta ou é detentora
    2003-12-23 1 Biblioteca da FCTUNL Biblioteca da FCTUNL Sala azul/Piso 2 0014822 Não Ficção 22117 QA76.63.TYP FCT 22117 Disponível Monografia FCT FCT
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca