| 000 -Record Label |
|---|
| fixed length control field |
01017nlm a2200277 4500 |
| 010 ## - ISBN - International Standard Book Number |
|---|
| Modalidade de aquisição e/ou preço |
Oferta |
| 100 ## - Entrada principal |
|---|
| Dados gerais de processamento |
20081209d2008 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 |
Towards solving a system of pseudo boolean constraints with binary decision diagrams |
| Indicação geral da natureza do documento |
Documento electrónico |
| Primeira menção de responsabilidade |
Valentin Christian Johannes Kaspar Mayer-Eichberger |
| 210 ## - Local de edição |
|---|
| Lugar da edição, distribuição, etc. |
Lisboa |
| Nome do editor, distribuidor, etc. |
V. C. J. K. M. |
| Data da publicação, distribuição, etc. |
2008 |
| 215 ## - Descrição física (Vol.pg.fl.tm.fsc) |
|---|
| Descrição física |
1 CD-ROM |
| Dimensões |
12cm |
| 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 |
45246 |
| Elemento de entrada |
Estruturação de dados (Informática) |
| 606 ## - Nome comum como assunto |
|---|
| Koha Internal code |
3460 |
| Elemento de entrada |
Algoritmos |
| 606 ## - Nome comum como assunto |
|---|
| Koha Internal code |
35267 |
| Elemento de entrada |
Tomada de decisão |
| Subdivisão de assunto |
Modelos matemáticos |
| 680 ## - Classificação Biblioteca Congresso |
|---|
| Notação |
QA76.63 |
| 700 #1 - Autor (resp. principal) |
|---|
| Palavra de ordem |
Mayer-Eichberger |
| Outra parte do nome |
Valentin Christian Johannes Kaspar |
| 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 |
