Universidade Aberta catálogo -

O seu carrinho está vazio.

A sua pesquisa recuperou 2 resultados. Subscrever esta pesquisa

|
1.
Sem imagem de capa disponível
Tradução automática das demonstrações do Prover9 / José Manuel da Costa Duarte Monografia Publicação [Lisboa] : [s.n.], 2011 Descrição 86 f. Cota: L.S. 47804 TMEMC Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

Adicionar ao carrinho
2.
Sem imagem de capa disponível
Tradução automática das demonstrações do Prover9 / José Manuel da Costa Duarte Documento eletrónico Publicação [Lisboa : s.n.], 2011 Descrição 1 disco ótico (CD-ROM) Cota: L.C. 1174 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

Adicionar ao carrinho