Augusto César Araújo de Oliveira

According to our database, Augusto César Araújo de Oliveira authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2025

Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional e Lógica de Predicados.

Francisco Leonardo Batista Martins, Augusto César Araújo de Oliveira, Davi Romero de Vasconcelos, Maria Viviane de Menezes

Revista Brasileira de Informática na Educ., 2025