Catálogo bibliográfico FCT/UNL

A comparative study of disjunctive well-founded semantics (Record no. 45104)

000 -Record Label
fixed length control field 00924nlm a2200277 4500
010 ## - ISBN - International Standard Book Number
Modalidade de aquisição e/ou preço Oferta
100 ## - Entrada principal
Dados gerais de processamento 20061204d2006 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 Portugal
200 1# - Título
Título próprio A comparative study of disjunctive well-founded semantics
Indicação geral da natureza do documento Documento electrónico
Primeira menção de responsabilidade Matthias Knorr
210 ## - Local de edição
Lugar da edição, distribuição, etc. Lisboa
Nome do editor, distribuidor, etc. M. K.
Data da publicação, distribuição, etc. 2006
215 ## - Descrição física (Vol.pg.fl.tm.fsc)
Descrição física 1 CD-ROM
Dimensões 12 cm
328 ## - Notas Dissertação ou tese
Texto da nota Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Lógica Computacional
606 ## - Nome comum como assunto
Koha Internal code 40414
Elemento de entrada Lógica computacional
Subdivisão de assunto Teses
606 ## - Nome comum como assunto
Koha Internal code 44366
Elemento de entrada Linguagens de programação em lógica
Subdivisão de assunto Semântica
606 ## - Nome comum como assunto
Elemento de entrada Programação em lógica
Koha Internal code 195
606 ## - Nome comum como assunto
Koha Internal code 44367
Elemento de entrada Programas em lógica estendidos
680 ## - Classificação Biblioteca Congresso
Notação QA76.63
700 #1 - Autor (resp. principal)
Palavra de ordem Knorr
Outra parte do nome Matthias
801 #0 - Fonte de origem
Regras de catalogação RPC
942 ## - Elementos de entrada adicionados (Koha)
Fonte da classificação ou esquema de estante
Tipo de item no Koha Teses e dissertações
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
    2006-12-04 1 Biblioteca da FCTUNL Biblioteca da FCTUNL Depósito 1 0046677 Não Ficção 62810 QA76.63.KNO FCT 62810 Disponível Teses e dissertações FCT FCT
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca