A sua pesquisa retornou 467 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
|
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).
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 (1), Mediateca da UA (1).
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).
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).
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 (1), Mediateca da UA (1).
A estatística 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 (1), Mediateca da UA (1).
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 (1), Mediateca da UA (1).
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 (1), Mediateca da UA (1).
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 (1), Mediateca da UA (1).
Critical thinking : an introduction / Alec Fisher Publicação: Cambridge : Cambridge University Press, 2014 printingDescrição: VIII, 294 p.Exemplares disponíveis para empréstimo: Biblioteca 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 digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1).
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).
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).
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).
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).
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).
Theory of fuzzy computation [Recurso eletrónico] / Apostolos Syropoulos Publicação: New York (NY) : Springer, 2014Descrição: XII, 162 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>