Typed lambda calculi and applications (Registo nº 258739)

Metadata
000 -Etiqueta do registo
campo de controlo de comprimento fixo 00837nam-a2200229---4500
001 - Identificador do registo
Campo de controlo 258739
005 - Identificador da versão
Campo de controlo 20200804151240.0
010 ## - ISBN
Número (ISBN) 3-540-40332-9
Qualificação Brochado
100 ## - Dados Gerais de Proc.
Dados gerais de processamento 20061221d2003 k y0pory5003 ba
101 0# - Língua da publicação
Língua do texto,banda sonora,etc. Inglês
102 ## - País de Publicação
País de publicação Alemanha
200 1# - Título
Título próprio Typed lambda calculi and applications
Informação de outro título proceedings
Primeira menção de responsabilidade 6th International Conference, TLCA 2003
Outras menções de responsabilidade ed. Martin Hofmann
210 ## - Publicação, Distribuição
Lugar da edição,distribuição,etc. Berlin
Nome do editor,distribuidor,etc. Springer
Data da publicação,distribuição,etc. cop. 2003
215 ## - Descrição física
Descrição física VIII, 315 p.
Dimensões 24 cm
225 2# - Colecção
Título próprio da colecção Lecture notes in computer science
ISSN da colecção 0302-9743
Indicação de volume 2701
675 ## - CDU
Notação 519.6
Edição int
Língua da edição Inglês
702 #1 - Responsabilidade secundária
Koha Internal Code 219607
Palavra de ordem Hofmann,
Outra parte do nome Martin,
Datas 1965-
Código de função Coordenador/Editor
710 12 - Colectividade (resp. principal)
Palavra de ordem International Conference, TLCA,
Número do grupo-eventual 6,
Local do grupo-eventual Valencia,
Data do grupo-eventual 2003
801 #0 - Fonte de origem
País Portugal
Agência UMSD
Data da última transacção 20061221
Regras de catalogação RPC
090 ## - Números de controlo do sistema (Koha)
Número biblioitem do Koha (gerado automaticamente) 258739
942 ## - Elementos de entrada adicionados (Koha)
Tipo de item no Koha Monografia
Suprimido Disponível no OPAC
Exemplares
Removido (estado) Perdido (estado) Data de aquisição Origem do registo (biblioteca) (codificado) Código da organização que empresta ou é detentora (biblioteca) Código de barras Cota Tipo de circulação Preço Tipo de item e material
Disponível | Available Disponível | Not Lost 2006-11-24 Biblioteca Geral da Universidade do Minho Biblioteca Geral da Universidade do Minho 365276 BGUMD 109356 Requisitável | For loan 0.00 Monografia