Metadata
000 -Etiqueta do registo |
campo de controlo de comprimento fixo |
00851nam0a22002290004500 |
001 - Identificador do registo |
Campo de controlo |
24395 |
005 - Identificador da versão |
Campo de controlo |
20200804103754.0 |
010 ## - ISBN |
Número (ISBN) |
0-8218-5027-X |
Qualificação |
(Brochado) |
100 ## - Dados Gerais de Proc. |
Dados gerais de processamento |
19890926e19851983k 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 |
Estados Unidos |
200 1# - Título |
Título próprio |
Automated theorem proving |
Informação de outro título |
after 25 years |
Primeira menção de responsabilidade |
ed. W. W. Bledsoe, D. W. Loveland |
210 ## - Publicação, Distribuição |
Lugar da edição,distribuição,etc. |
Providence |
Nome do editor,distribuidor,etc. |
American Mathematical Society |
Data da publicação,distribuição,etc. |
imp. 1985 |
215 ## - Descrição física |
Descrição física |
IX, 360 p. |
Outras indicações físicas |
il. |
Dimensões |
25 cm |
225 2# - Colecção |
Título próprio da colecção |
Contemporary mathematics |
Indicação de volume |
29 |
675 ## - CDU |
Notação |
519.6 |
Edição |
int |
Língua da edição |
Inglês |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
19018 |
Palavra de ordem |
Bledsoe, |
Outra parte do nome |
W. W. |
Código de função |
Coordenador/Editor |
702 #1 - Responsabilidade secundária |
Koha Internal Code |
106895 |
Palavra de ordem |
Loveland, |
Outra parte do nome |
Donald W. |
Código de função |
Coordenador/Editor |
712 02 - Colectividade (resp. secundária) |
Palavra de ordem |
American Mathematical Society, special Session on Automatic Theorem Proving, Annual Meeting, |
Número do grupo-eventual |
89, |
Local do grupo-eventual |
Denver, Colorado, |
Data do grupo-eventual |
1983 |
Código de função |
Editor |
090 ## - Números de controlo do sistema (Koha) |
Número biblioitem do Koha (gerado automaticamente) |
24395 |
942 ## - Elementos de entrada adicionados (Koha) |
Tipo de item no Koha |
Monografia |
Suprimido |
Disponível no OPAC |