Universidade Aberta catálogo -

O seu carrinho está vazio.

A sua pesquisa recuperou 6 resultados. Subscrever esta pesquisa

|
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

Adicionar ao carrinho
2.
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

Adicionar ao carrinho
3.
Sem imagem de capa disponível
Computing congruences and endomorphisms for algebras of type (2m, 1n) / Rui Miguel Barradas Pereira Documento eletrónico Publicação [S.l.] : [s.n.], 2022 Descrição PDF Cota: Digital 43593 Disponibilidade Exemplares para consulta (1). Acesso virtual Acesso no Repositório Aberto

Adicionar ao carrinho
4.
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

Adicionar ao carrinho
5.
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

Adicionar ao carrinho
6.
Sem imagem de capa disponível
Finite Model Enumeration / Choiwah Chow Documento eletrónico Publicação [S.l.] : [s.n.], 2023 Descrição PDF Cota: Digital 44128 Disponibilidade Exemplares para consulta (1). Acesso virtual Acesso no Repositório Aberto

Adicionar ao carrinho