Metadata
| 000 -Etiqueta do registo |
|---|
| campo de controlo de comprimento fixo |
00986nam0a22002410004500 |
| 001 - Identificador do registo |
|---|
| Campo de controlo |
83551 |
| 005 - Identificador da versão |
|---|
| Campo de controlo |
20200804114419.0 |
| 010 ## - ISBN |
|---|
| Número (ISBN) |
0-444-89880-8 |
| Qualificação |
(Brochado) |
| 100 ## - Dados Gerais de Proc. |
|---|
| Dados gerais de processamento |
19940408d1993 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 |
Holanda |
| 200 1# - Título |
|---|
| Título próprio |
Higher order logic theorem proving and its applications |
| Informação de outro título |
proceedings |
| Primeira menção de responsabilidade |
International Workshop... |
| Outras menções de responsabilidade |
ed. Luc J. M. Claesen, Michael J. C. Gordon |
| 210 ## - Publicação, Distribuição |
|---|
| Lugar da edição,distribuição,etc. |
Amsterdam |
| Nome do editor,distribuidor,etc. |
North-Holland |
| Data da publicação,distribuição,etc. |
1993 |
| 215 ## - Descrição física |
|---|
| Descrição física |
XIII, 568 p. |
| Dimensões |
23 cm |
| 225 2# - Colecção |
|---|
| Título próprio da colecção |
IFIP transactions A. |
| Nome de uma parte ou secção |
Computer science and technology |
| Indicação de volume |
20 |
| 675 ## - CDU |
|---|
| Notação |
510.6:681.3 |
| Edição |
int |
| Língua da edição |
Inglês |
| 675 ## - CDU |
|---|
| Notação |
681.3:510.6 |
| Edição |
int |
| Língua da edição |
Inglês |
| 702 #1 - Responsabilidade secundária |
|---|
| Koha Internal Code |
35557 |
| Palavra de ordem |
Claesen, |
| Outra parte do nome |
Luc |
| Código de função |
Coordenador/Editor |
| 702 #1 - Responsabilidade secundária |
|---|
| Koha Internal Code |
73125 |
| Palavra de ordem |
Gordon, |
| Outra parte do nome |
Michael J. C. |
| Código de função |
Coordenador/Editor |
| 710 12 - Colectividade (resp. principal) |
|---|
| Palavra de ordem |
International Workshop on Higher Order Logic Theorem Proving and its Applications, |
| Local do grupo-eventual |
Leuven, |
| Data do grupo-eventual |
1992 |
| 090 ## - Números de controlo do sistema (Koha) |
|---|
| Número biblioitem do Koha (gerado automaticamente) |
83551 |
| 942 ## - Elementos de entrada adicionados (Koha) |
|---|
| Tipo de item no Koha |
Monografia |
| Suprimido |
Disponível no OPAC |
