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