Your search returned 2 results. Subscribe to this search

|
Hybrid programs [Documento eletrónico] / Renato Jorge Araújo Neves ; orient. Luís Soares Barbosa, Manuel António Martins Monografia Publication [Guimarães : s.n.], 2018 Online resource Acesso livre Availability No copies available

Proof support for hybridised logics [Documento electrónico] / Renato Jorge Araújo Neves ; orient. Manuel António Martins, Luís Soares Barbosa Monografia Publication [Braga : s.n.], 2013 Online resource Acesso livre Availability No copies available