Zobrazeno 1 - 1
of 1
pro vyhledávání: '"PhLQP"'
Dissertação de mestrado integrado em Engenharia Física
This dissertation introduces a logic aimed at combining dynamic logic and paraconsistent logic for application to the quantum domain, to reason about quantum phase properties: Paraconsist
This dissertation introduces a logic aimed at combining dynamic logic and paraconsistent logic for application to the quantum domain, to reason about quantum phase properties: Paraconsist
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::e7640523a5cee738dc648e8da6d8870c
https://hdl.handle.net/1822/82761
https://hdl.handle.net/1822/82761