ProverX (Registo nº 41064)
[ vista simples ]
| 000 -Etiqueta do registo | |
|---|---|
| campo de controlo de comprimento fixo | nam a22 4500 |
| 001 - Identificador do registo | |
| Campo de controlo | 41064 |
| 100 ## - Dados Gerais de Proc. | |
| Dados gerais de processamento | 20200729d2020 u||y0pory50 ba |
| 101 ## - Língua da publicação | |
| Língua do texto, banda sonora, etc. | Português |
| 102 ## - País de Publicação | |
| País de publicação | Portugal |
| 106 ## - Atributos Físicos | |
| Dados codificados do material textual | r |
| 200 ## - Título | |
| Título próprio | ProverX |
| Indicação geral da natureza do documento | Documento eletrónico |
| Primeira menção de responsabilidade | Ivo Robert |
| Informação de outro título | rewriting and extending prover9 |
| 210 ## - Publicação, Distribuição | |
| Lugar da edição, distribuição, etc. | [S.l.] |
| Nome do editor, distribuidor, etc. | [s.n.] |
| Data da publicação, distribuição, etc. | 2020 |
| 215 ## - Descrição física | |
| Descrição física | 1 disco ótico (CD-ROM) |
| 328 ## - Nota de dissertação ou tese | |
| Texto da nota | Tese de Doutoramento em Álgebra Computacional em associação com a Faculdade de Ciências e Tecnologia da Universidade de Coimbra, apresentada à Universidade Aberta, sob orientação dos Profs. João Araújo e Robert Veroff |
| 328 ## - Nota de dissertação ou tese | |
| Texto da nota | Trata-se da versão digital da tese com a cota: L.S. 53191 TD |
| 337 ## - Pormenores técnicos | |
| Texto da nota | Requisitos do sistema: Acrobat Reader |
| 606 ## - Nome comum | |
| Koha Internal code | 44618 |
| Elemento de entrada | TDACOM |
| 606 ## - Nome comum | |
| Koha Internal code | 46332 |
| Elemento de entrada | Prover9 |
| 606 ## - Nome comum | |
| Koha Internal code | 45849 |
| Elemento de entrada | Mace4 |
| 606 ## - Nome comum | |
| Koha Internal code | 45850 |
| Elemento de entrada | Demonstração automática de teoremas |
| 606 ## - Nome comum | |
| Koha Internal code | 45851 |
| Elemento de entrada | Python |
| 606 ## - Nome comum | |
| Koha Internal code | 45852 |
| Elemento de entrada | GAP |
| 700 ## - Responsabilidade principal | |
| Koha Internal Code | 45853 |
| Palavra de ordem | Robert |
| Outra parte do nome | Ivo |
| 801 ## - Fonte de origem | |
| País | Portugal |
| Agência | UAb-Lisboa |
| 856 ## - Localização e acesso electrónico | |
| URL | http://hdl.handle.net/10400.2/9925 |
| Nota para informação ao público | Acesso no Repositório Aberto |
| 090 ## - Números de controlo do sistema (Koha) | |
| Número biblioitem do Koha (gerado automaticamente) | 41064 |
| 942 ## - Elementos de entrada adicionados (Koha) | |
| Suprimido | Disponível no OPAC |
| Tipo de item no Koha | Monografia |
| Removido (estado) | Perdido (estado) | Data de aquisição | Origem do registo (biblioteca) (codificado) | Código da organização que empresta ou é detentora (biblioteca) | Localização | Código de barras | Cota | Tipo de circulação (não pode ser emprestado) | Tipo de item e material |
|---|---|---|---|---|---|---|---|---|---|
| Disponível | Disponível | 2020-07-29 | Bibliotecas da Universidade Aberta | Bibliotecas da Universidade Aberta | UAb-Lisboa | LC0002318 | L.C. 2318 | Não requisitável | Documento eletrónico |
