Your search returned 468 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Dynamic logic : new trends and applications / Second International Workshop, DaLí.. ; ed. Luís Soares Barbosa, Alexandru Baltag Publicação: Cham : Springer, cop. 2020Descrição: X, 226 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Dynamic logic : new trends and applications : revised selected papers / Third International Workshop, DaLí... ; eds. Manuel A. Martins, Igor Sedlár Publicação: Cham : Springer, cop. 2020Descrição: X, 293 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Molecular logic and computational synthetic biology / First International Symposium, MLCSB... ; ed. Madalena Chaves, Manuel A. Martins Publicação: Cham : Springer, cop. 2019Descrição: X, 156 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Hybrid logics with paraconsistency / Diana Filipa de Pinho Costa ; sob orientação de Manuel António Gonçalves Martins Publicação: Aveiro : D. Costa, 2018Descrição: 1 CD-ROMDescrição: II, 159 p. : ilFormato digitalExemplares interditos: Biblioteca da UA (2).
Type-2 fuzzy logic : uncertain systems' modeling and control / Rómulo José Magalhães Martins Antão ; sob orientação de Rui Manuel Escadas Ramos Martins e Alexandre Manuel Moutela Nunes da Mota Publicação: Aveiro : R. Antão, 2016Descrição: 1 CD-ROMDescrição: VIII, 152 p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (2).
A estatistica que engana! / Susana Matilde Silva Borges ; sob a orientação de Vera Mónica Almeida Afreixo Publicação: Aveiro : S. Borges , 2016Descrição: 103 p. : il. colorDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (2).
Probabilistic propositional logic / Fábio Daniel Moreira Barbosa ; sob a orientação de Manuel António Gonçalves Martins Publicação: Aveiro : F. Barbosa, 2016Descrição: IV, 66 p. : ilDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (2).
Differential dynamic logic and applications / Daniel Oliveira Figueiredo ; sob orientação de Manuel António Martins Publicação: Aveiro : D. Figueiredo, 2015Descrição: 1 CD-ROMDescrição: VI, 88 p. : ilFormato digitalExemplares interditos: Biblioteca da UA (2).
Paraconsistency in hybrid logic / Diana Filipa de Pinho Costa ; sob orientação de Manuel António Gonçalves Martins Publicação: Aveiro : D. Costa, 2014Descrição: II, 86 p. : ilDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (2).
Critical thinking : an introduction / Alec Fisher Publicação: Cambridge : Cambridge University Press, 2014 printingDescrição: VIII, 294 p.Exemplares disponíveis para empréstimo: Mediateca da UA (1).
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 digital
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 (2).
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 (2).
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 (2).
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 (2).
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 (2).
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 / 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 (2).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>