A sua pesquisa retornou 204 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
Não realçar Realçar
|
Sem imagem de capa disponível
Towards a specification theory for paraconsistent transitions [Recurso eletrónico] / Juliana Andreia Marques Prazeres da Cunha ; sob orientação de Alexandre Leite de Castro Madeira e Luís Soares Barbosa Publicação: Aveiro : J. Cunha, 2023Descrição: II, 94 p. : il. colorFormato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logical foundations of cyber-physical systems / André Platzer Publicação: Cham : Springer, cop. 2018Descrição: XXXI, 639 p. : il. colorExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Theory of effective propositional paraconsistent logics / Arnon Avron, Ofer Arieli and Anna Zamansky Publicação: [S. l.] : College Publications, 2018 (Milton Keynes : Lightning SourceDescrição: XXIV, 550 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Set theory : with an introduction to real point sets [Recurso eletrónico] / by Abhijit Dasgupta Publicação: New York (NY) : Springer, 2014Descrição: XV, 444 p. : il.Formato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Recent progress in general topology III [Recurso eletrónico] / ed. K.P. Hart, J. van Mill, P. Simon Publicação: Paris : Atlantis Press, 2014Descrição: VII, 903 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Kripke’s worlds : an introduction to modal logics via tableaux [Recurso eletrónico] / Olivier Gasquet...[et al.] Publicação: Basel : Birkhäuser, 2014Descrição: XV, 198 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Set theory : exploring independence and truth [Recurso eletrónico] / Ralf Schindler Publicação: Cham : Springer, 2014Descrição: X, 332 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Mathematical logic : foundations for information science [Recurso eletrónico] / Wei Li Publicação: Basel : Birkhäuser, 2014Descrição: XIV, 301 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Perspectives in computational complexity : The Somenath Biswas anniversary volume [Recurso eletrónico] / ed. Manindra Agrawal, Vikraman Arvind Publicação: Cham : Birkhäuser, 2014Descrição: X, 202 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
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).
Reservar Adicionar ao carrinho
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).
Reservar Adicionar ao carrinho
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).
Reservar Adicionar ao carrinho
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).
Reservar Adicionar ao carrinho
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).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
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).
Adicionar ao carrinho
Sem imagem de capa disponível
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).
Adicionar ao carrinho
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).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Lógica proposicional modal / Ana Cristina Felizardo Henriques ; sob orientação de Enrique German Hernández Manfredini e de Manuel António Gonçalves Martins Publicação: Aveiro : A. Henriques, 2009Descrição: 1 CD-ROMDescrição: 67 p. : ilFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Adicionar ao carrinho
Logics of specification languages / eds. Dines Bjørner, Martin C. Henson Publicação: Berlin : Springer, cop. 2008Descrição: XXI, 623 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Mathematics education and the legacy of Zoltan Paul Dienes / ed. Bharath Sriraman Publicação: Charlotte (NC) : Information Age Publishing, cop. 2008Descrição: X, 111 p. : ilExemplares disponíveis para empréstimo: Mediateca da UA (1).
Reservar Adicionar ao carrinho


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>