NADIA - Natural DeductIon proof Assistant: Um Assistente de Provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados.
Saved in:
| Title: | NADIA - Natural DeductIon proof Assistant: Um Assistente de Provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados. |
|---|---|
| Alternate Title: | NADIA - Natural DeductIon proof Assistant: a Natural Deduction Assistant for Propositional and Predicate Logic. NADIA - Natural DeductIon proof Assistant: Un Asistente de Pruebas de Deducción Natural para Lógica Proposicional y Lógica de Predicados. |
| Authors: | Romero de Vasconcelos, Davi1 daviromero@ufc.br, Viviane Menezes, Maria1 vivianemenezes@ufc.br |
| Source: | Revista Brasileira de Informática na Educação. 2024, Vol. 32, p842-870. 29p. |
| Database: | Academic Search Ultimate |
| ISSN: | 14145685 |
|---|---|
| DOI: | 10.5753/rbie.2024.3249 |
