A sua pesquisa retornou 478 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
|
Sistema de rádio digital para White Spaces UHF / André Isidoro Prata ; sob orientação de Nuno Borges de Carvalho e de Arnaldo Oliveira Publicação: Aveiro : A. Prata, 2013Descrição: 1 CD-ROMDescrição: XIV, 105 p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Regulação de energia produzida nas unidades de microgeração FV / Tiago Filipe Pereira Godinho ; sob orientação de José Paulo Oliveira Santos e Joaquim José Borges Gouveia Publicação: Aveiro : T. Godinho, 2013Descrição: XII, 134 p. : il. colorDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
L.E.J. Brouwer - Topologist, intuitionist, philosopher : how mathematics is rooted in life [Recurso eletrónico] / Dirk van Dalen Publicação: London : Springer, 2013Descrição: XII, 875 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Proofs of the Cantor-Bernstein theorem : a mathematical excursion [Recurso eletrónico] / Arie Hinkis Publicação: Basel : Birkhäuser, 2013Descrição: XXIII, 429 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Logical foundations of mathematics and computational complexity : a gentle introduction [Recurso eletrónico] / Pavel Pudlák Publicação: Heidelberg : Springer, 2013Descrição: XIV, 695 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Logic and structure [Recurso eletrónico] / Dirk van Dalen Publicação: London : Springer, 2013Descrição: X, 263 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
A logical introduction to proof [Recurso eletrónico] / Daniel W. Cunningham Publicação: New York (NY) : Springer, 2013Descrição: XVI, 356 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Cylindric-like algebras and algebraic logic [Recurso eletrónico] / ed. Hajnal Andréka, Miklós Ferenczi, István Németi Publicação: Berlin : Springer, 2013Descrição: VI, 474 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
A matemática de alguns jogos / Luísa Amélia Fernandes de Faria Casanova Afonso ; sob orientação de Manuel António Gonçalves Martins e de Rui Filipe Alves Silva Duarte Publicação: Aveiro : L. Afonso, 2012Descrição: 1 CD-ROMDescrição: II, 76 p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Dualidades na lógica modal / Pedro Miguel Teixeira Olhero Pessoa Nora ; sob orientação de Dirk Hofmann e de Manuel António Martins Publicação: Aveiro : P. Nora, 2012Descrição: I, 58 pDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski Publicação: Cambridge : Cambridge University Press, 2011Descrição: XXII, 310 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Demonstração matemática : uma experiência com alunos do 11º ano / Ana Catarina de Pinho Fernandes ; sob orientação de Maria Teresa Bixirão Neto Publicação: Aveiro : A. Fernandes, 2011Descrição: 1 CD-ROMDescrição: IV, 73, [8] p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Mathematical papers in honour of Fátima Silva Leite / ed. João Cardoso, Knut Hüper, Paulo Saraiva Publicação: Coimbra : UC. FCT. DM, 2011Descrição: 134 p. : il., est. color.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reading, writing, and proving : a closer look at mathematics / Ulrich Daepp, Pamela Gorkin Publicação: New York (NY) : Springer, cop. 2010Descrição: XVI, 395 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Lógica proposicional via Lindenbaum-Tarski e Curry-Howard [Recurso eletrónico] / Hugo Cardoso Albuquerque ; sob orientação de Dirk Hofmann Publicação: Aveiro : H. Albuquerque, 2010Descrição: 1 CD-ROMDescrição: XI, 167 pFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
O desenvolvimento do raciocínio dedutivo ao nível do ensino secundário : recurso a geometrias planas / Maria Teresa Bixirão Neto ; sob orientação de Ana Maria Reis d'Azevedo Breda e Nilza Maria Vilhena Nunes da Costa Publicação: Aveiro : M. Neto, 2009Descrição: VII, 363 p. : il. colorDescrição: 1 CD-ROMFormato digitalExemplares disponíveis para empréstimo: Mediateca da UA (1). Exemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Análise estruturada e formal das provas / Maria Nilde Fernandes Barreto ; sob orientação de Manuel Martins e João Carlos Vieira Publicação: Aveiro : M. Barreto, 2009Descrição: 1 CD-ROMDescrição: 103 pFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Leibniz hierarchy / Jacinta Rodrigues Poças ; sob orientação de Manuel Martins Publicação: Aveiro : J. Poças, 2009Descrição: 1 CD-ROMDescrição: 120 pFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Lógica e filosofia da ciência : textos apresentados nas Jornadas Ibéricas III... / ed. Olga Pombo e Ángel Nepomuceno Publicação: Lisboa : CFCUL, 2009Descrição: 283 pExemplares disponíveis para empréstimo: Biblioteca da UA (2).
Metamorfoses do conceito de abdução em Peirce : o exemplo de Kepler / Ana Paula Silva Publicação: Lisboa : CFCUL, cop. 2009Descrição: 269 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>