Browsing by Advisor Martins, Manuel António Gonçalves
Showing results 4 to 8 of 8
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
Feb-2020 | Logical foundations and computational tools for synthetic biology | Figueiredo, Daniel Oliveira | doctoralThesis | ![]() |
2012 | A matemática de alguns jogos | Casanova, Luísa Amélia Fernandes de Faria | masterThesis | ![]() |
2009 | Máquinas algébricas | Ribau, Ângela Margarida Vergas | masterThesis | ![]() |
2014 | Paraconsistency in hybrid logic | Costa, Diana Filipa de Pinho | masterThesis | ![]() |
2016 | Probabilistic propositional logic | Barbosa, Fábio Daniel Moreira | masterThesis | ![]() |