Your search returned 8 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Logical foundations and computational tools for synthetic biology / Daniel Oliveira Figueiredo ; sob orientação de Manuel António Gonçalves Martins e Luís Soares Barbosa Publicação: Aveiro : D. Figueiredo, 2020Descrição: 1 CD-ROMDescrição: VI, 106 p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca 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).
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).
O monoide bicíclico : subsemigrupos e generalizações / Sandra Isabel Diogo Ramos ; sob orientação de Luís António Arsénio Descalço e Manuel António Gonçalves Martins Publicação: Aveiro : S. Ramos, 2008Descrição: 110 pDescrição: 1 CD-ROMFormato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1). Exemplares interditos: Biblioteca da UA (2).
On the injectivity of the Leibniz operator / Luís Descalço e Manuel A. Martins Publicação: Aveiro : UA. DM, 2005Descrição: 8 pExemplares disponíveis para empréstimo: Biblioteca da UA (2).
Amalgamação em lógica [Texto policopiado] / Manuel António Gonçalves Martins Publicação: Aveiro : M. Martins, 1998Descrição: VIII, 140 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1). Exemplares interditos: Biblioteca da UA (1).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>