Catálogo bibliográfico FCT/UNL

Mechanical theorem proving in geometries (Record no. 23132)

000 -Record Label
fixed length control field 00789nam a2200253 4500
010 ## - ISBN - International Standard Book Number
Número (ISBN) 3-211-82506-1
Qualificação brochado
Modalidade de aquisição e/ou preço Esc 9 335$
100 ## - Entrada principal
Dados gerais de processamento 19980226d1994 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 Austria, Republic of
200 1# - Título
Título próprio Mechanical theorem proving in geometries
Informação de outro título basic principles
Primeira menção de responsabilidade Wen-tsun Wu
Outras menções de responsabilidade trad. Xiaofan Jin, Dongming Wang
210 ## - Local de edição
Lugar da edição, distribuição, etc. Wien
Nome do editor, distribuidor, etc. Springer-Verlag
Data da publicação, distribuição, etc. cop. 1994
215 ## - Descrição física (Vol.pg.fl.tm.fsc)
Descrição física XIV, 288 p.
Outras indicações físicas il.
Dimensões 25 cm
225 2# - Coleção
Título próprio da colecção Texts and monographs in symbolic computation
300 ## - Notas gerais
Texto da nota Colocação: Sala azul/Piso 2
606 ## - Nome comum como assunto
Koha Internal code 13303
Elemento de entrada Geometria
Subdivisão de assunto Processamento de dados
606 ## - Nome comum como assunto
Elemento de entrada Demonstração de teoremas
680 ## - Classificação Biblioteca Congresso
Notação QA448
700 ## - Autor (resp. principal)
Palavra de ordem Wu
Outra parte do nome Wen-tsun
Koha Internal Code 63493
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
    2000-05-05 1 Biblioteca da FCTUNL Biblioteca da FCTUNL Sala azul/Piso 2 0013593 Não Ficção 34562 QA448.WU FCT 34562 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