Voltar aos Detalhes do Artigo
Evaluating the Ability of ChatGPT and DeepSeek to Solve Propositional Logic Proofs Using the Analytic Tableau Deductive System
Baixar
##common.downloadPdf##