Report - ESPECIFICAÇÃO DE SISTEMAS UTILIZANDO LÓGICA LINEAR … · 2019. 11. 14. · fragmentos (da lógica linear, no caso de LO, e da lógica clássica, no caso de -Prolog). A impossibilidade

Please pass captcha verification before submit form