Faria,, Bernardo Almeida Leite Combining paraconsistent and dynamic logic for Qiskit [Documento eletrónico] / Bernardo Almeida Leite Faria ; orient. Luís Soares Barbosa e Alexandre Castro Madeira

Combining paraconsistent and dynamic logic for Qiskit [Documento eletrónico] / Bernardo Almeida Leite Faria ; orient. Luís Soares Barbosa e Alexandre Castro Madeira . - [Braga : s.n.], 2021 . -