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
Enciclopédia Einaudi : lógica-combinatória / coord. Fernando Gil Monografia Publicação [Lisboa] : Imprensa Nacional-Casa da Moeda, cop. 1988 Descrição Vol. 13 (393, [6]) p. : il. Cota: L.S. 5492 OR Disponibilidade Exemplares para consulta (2).

Adicionar ao carrinho
2.
Automated reasoning with OTTER / John Arnorld Kalman ; Larry Wos Monografia Publicação New Jersey : Rinton Press, cop. 2001 Descrição 536 p. + 1 CD Cota: L.S. 47761 INF Disponibilidade Exemplares para empréstimo (3).

Reservar Adicionar ao carrinho