Preencha a seguinte informação para solicitar uma cópia do ficheiro: Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes

Solicitar o seguinte ficheiro: Dissertacao_1102730.pdf