Saltar conteúdo

Universidade Aberta catálogo -

O seu carrinho está vazio.

Carrinho
- O seu carrinho está vazio.
Listas

Entre na sua conta
Histórico de pesquisa [x]

Direção de Serviços de Documentação

Portal da Universidade Aberta

|
Tooltip text A sua conta Your account
Sair Logout

Pesquisa avançada Advanced search
Índices Indexes search
Sugestões de aquisição Acquisition suggestion
Mais populares Most popular

Procurar

Pesquisa avançada
Pesquisa de Autoridade
Nuvem de etiquetas
Mais populares

Entre na sua conta

Entrar Nome de utilizador: Palavra-passe:

If you belong to the Universidade Aberta use the username and password of access to the UAb Virtual Campus.

If you don't belong to Universidade Aberta register to access.

Contact us if you have any questions.

Se pertence à Universidade Aberta utilize o username e password de acesso ao Campus Virtual UAb.

Se não pertence à Universidade Aberta registe-se para aceder.

Contacte-nos se tiver dúvidas.

Anular

Início ›
Resultados de pesquisa por 'an:46332'

Refinar a pesquisa

Disponibilidade
- Limitar aos exemplares disponíveis actualmente.
Autores
- Robert
- Pereira
- Sousa
- Ramires
- Ferreira
Tipos de documento
- Documento eletrónico
- Monografia
Localizações
- UAb-Lisboa
Tópicos

A sua pesquisa recuperou 7 resultados.

|

	1.	Sem imagem de capa disponível ProverX : rewriting and extending prover9 / Ivo Robert Monografia Publicação [S.l.] : [s.n.], 2020 Descrição IX, 138 p. Cota: L.S. 53191 TD Disponibilidade Exemplares para consulta (1). Acesso virtual Acesso no Repositório Aberto 1 2 3 4 5 Adicionar ao carrinho (remover)
	2.	Sem imagem de capa disponível Bibliotecas de axiomáticas - conceitos e resultados para sistemas algébricos / João Jorge da Costa Vieira Ramires Documento eletrónico Publicação [S.l.] : [s.n.], 2022 Descrição PDF Cota: Digital 43722 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto 1 2 3 4 5 Adicionar ao carrinho (remover)
	3.	Sem imagem de capa disponível ProverX : rewriting and extending prover9 / Ivo Robert Monografia Publicação [S.l.] : [s.n.], 2020 Descrição 1 disco ótico (CD-ROM) Cota: L.C. 2318 Disponibilidade Exemplares para consulta (1). Acesso virtual Acesso no Repositório Aberto 1 2 3 4 5 Adicionar ao carrinho (remover)
	4.	Sem imagem de capa disponível Rewriting Prover9 / Carlos Sousa Documento eletrónico Publicação [S.l.] : [s.n.], 2023 Descrição PDF Cota: Digital 44255 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto 1 2 3 4 5 Adicionar ao carrinho (remover)
	5.	Sem imagem de capa disponível Forbidden Substructure Theorems / Fernando Manuel Maia Ferreira Documento eletrónico Publicação [S.l.] : [s.n.], 2022 Descrição PDF Cota: Digital 44063 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto 1 2 3 4 5 Adicionar ao carrinho (remover)
	6.	Sem imagem de capa disponível Finite bases for semigroup varieties / Manuel Jorge Raminhos Pereira Monografia Publicação [S.l.] : [s.n.], 2019 Descrição 262 p. Cota: L.S. 53353 TD Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto 1 2 3 4 5 Adicionar ao carrinho (remover)
	7.	Sem imagem de capa disponível Finite bases for semigroup varieties / Manuel Jorge Raminhos Pereira Monografia Publicação [S.l.] : [s.n.], 2019 Descrição 1 disco ótico (PEN) Cota: L.C. 2397 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto 1 2 3 4 5 Adicionar ao carrinho (remover)

Biblioteca Central Biblioteca Central

Rua da Escola Politécnica, 147
1269-001 Lisboa
Telefone: (+351) 300 002 925 | 300 002 932 | 300 002 968 | 300 007 703
Correio Eletrónico: cdoc@uab.pt
Horário de atendimento:
Segunda a sexta, 9:00h-17:00h
Política de privacidade da UAb

Rua da Escola Politécnica, 147
1269-001 Lisboa
Phone: (+351) 300 002 925 | 300 002 932 | 300 002 968 | 300 007 703
Email: cdoc@uab.pt
Opening Hours:
Monday to Friday, from 9:00h-17:00h
UAb privacy policy

Delegação de Coimbra Delegação de Coimbra

Rua Alexandre Herculano, nº 52
3000-019 Coimbra
Telefone: (+351) 300 001 590 | 300 001 593
Correio Eletrónico: cdocoimbra@uab.pt
Horário de atendimento:
Segunda a sexta, 9:00h-12:00h | 14:00h-17:00h

Rua Alexandre Herculano, nº 52
3000-019 Coimbra
Phone: (+351) 300 001 590 | 300 001 593
Email: cdocoimbra@uab.pt
Opening Hours:
Monday to Friday, from 9:00h-12:00h | 14:00h-17:00h

Delegação de Porto Delegação de Porto

Rua de Amial, nº 752
4200-055 Porto
Telefone: (+351) 300 001 700 | 300 001 718
Correio Eletrónico: cdocporto@uab.pt
Horário de atendimento:
Segunda a sexta, 9:30h-16:30h

Rua de Amial, nº 752
4200-055 Porto
Phone: (+351) 300 001 700 | 300 001 718
Email: cdocporto@uab.pt
Opening Hours:
Monday to Friday, 9:30h-16:30h

Biblioteca Comum

Idiomas:
English
Português