Neves,, Renato Proof support for hybridised logics [Documento electrónico] / Renato Jorge Araújo Neves ; orient. Manuel António Martins, Luís Soares Barbosa

Proof support for hybridised logics [Documento electrónico] / Renato Jorge Araújo Neves ; orient. Manuel António Martins, Luís Soares Barbosa . - [Braga : s.n.], 2013 . -

681.3