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
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
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 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