Universidade Aberta catálogo -

O seu carrinho está vazio.

A sua pesquisa recuperou 4 resultados. Subscrever esta pesquisa

|
1.
Sem imagem de capa disponível
Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes / Luís Manuel da Silva Augusto Monografia Publicação [Lisboa] : [s.n.], 2013 Descrição 149 p. Cota: L.S. 48638 TMEMC Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

Adicionar ao carrinho
2.
Sem imagem de capa disponível
Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes / Luís Manuel da Silva Augusto Documento eletrónico Publicação [Lisboa] : [s.n.], 2013 Descrição 1disco ótico (CD-ROM) Cota: L.C. 1437 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

Adicionar ao carrinho
3.
Sem imagem de capa disponível
Sistema percial em prolog no diagnóstico do potencial agrícola de solos / Jucilene de Medeiros Siqueira Documento eletrónico Publicação [Lisboa : s.n.], 2011 Descrição 1 disco ótico (CD-ROM) : il. Cota: L.C. 1044 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

Adicionar ao carrinho
4.
Sem imagem de capa disponível
Sistema percial em prolog no diagnóstico do potencial agrícola de solos / Jucilene de Medeiros Siqueira Monografia Publicação [Lisboa] : [s.n.], 2011 Descrição 116, [10] p. : il., tabelas Cota: L.S. 47443 TMEMC Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

Adicionar ao carrinho