Universidade Aberta catálogo -

O seu carrinho está vazio.

A sua pesquisa recuperou 10 resultados. Subscrever esta pesquisa

|
1.
Methods in nonlinear analysis / Kung-Ching Chang Monografia Publicação Netherlands : Springer, 2005 Descrição 439 p. : il. Cota: L.S. 52397 M Disponibilidade Exemplares para empréstimo (1).

Reservar Adicionar ao carrinho
2.
Foundations of chemical reaction network theory / Martin Feinberg Monografia Publicação Cham, Switzerland : Springer, 2022 Descrição 454 p. Cota: L.S. 53701 M Disponibilidade Exemplares para empréstimo (1).

Reservar Adicionar ao carrinho
3.
Sem imagem de capa disponível
Bibliotecas de axiomáticas - conceitos e resultados para sistemas algébricos / João Jorge da Costa Vieira Ramires Documento eletrónico Publicação [S.l.] : [s.n.], 2022 Descrição PDF Cota: Digital 43722 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

Adicionar ao carrinho
4.
Sem imagem de capa disponível
Proof Mining : análise quantitativa de demonstrações matemáticas / António Miguel Dias Fino Documento eletrónico Publicação [S.l.] : [s.n.], 2023 Descrição PDF Cota: Digital 44219 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

Adicionar ao carrinho
5.
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
6.
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee Monografia Publicação San Diego : Academic Press, 1987 Descrição 331 p. : il. Cota: L.S. 44506 INF Disponibilidade Exemplares para empréstimo (1).

Reservar Adicionar ao carrinho
7.
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
8.
The princeton companion to mathematics / ed. Timothy Gowers, June Barrow-Green, Imre Leader Monografia Publicação Princeton : Princeton University Press, 2008 Descrição 1034 p. : il. Cota: L.S. 52398 M Disponibilidade Exemplares para empréstimo (1).

Reservar Adicionar ao carrinho
9.
Sem imagem de capa disponível
Teoremas do valor médio e intermédio / Valdir Delgado dos Reis Monografia Publicação Lisboa : [s.n.], 2020 Descrição 1 disco ótico (PEN) Cota: L.C. 2359 Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Repositório Aberto

Adicionar ao carrinho
10.
Sem imagem de capa disponível
Teoremas do valor médio e intermédio / Valdir Delgado dos Reis Monografia Publicação Lisboa : [s.n.], 2020 Descrição 112 p. : il. Cota: L.S. 53274 TMMP Disponibilidade Exemplares para consulta (1). Acesso virtual Referência no Acesso Aberto

Adicionar ao carrinho