APA (7th ed.) Citation

Romero de Vasconcelos, D., & Viviane Menezes, M. (2024). NADIA - Natural DeductIon proof Assistant: Um Assistente de Provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados. Revista Brasileira de Informática na Educação, 32, 842. https://doi.org/10.5753/rbie.2024.3249

Chicago Style (17th ed.) Citation

Romero de Vasconcelos, Davi, and Maria Viviane Menezes. "NADIA - Natural DeductIon Proof Assistant: Um Assistente De Provas De Dedução Natural Para Lógica Proposicional E Lógica De Predicados." Revista Brasileira De Informática Na Educação 32 (2024): 842. https://doi.org/10.5753/rbie.2024.3249.

MLA (9th ed.) Citation

Romero de Vasconcelos, Davi, and Maria Viviane Menezes. "NADIA - Natural DeductIon Proof Assistant: Um Assistente De Provas De Dedução Natural Para Lógica Proposicional E Lógica De Predicados." Revista Brasileira De Informática Na Educação, vol. 32, 2024, p. 842, https://doi.org/10.5753/rbie.2024.3249.