Um método para geração automatizada de exercícios de demonstração com um nível de complexidade similar

Autores		Lopes Neto, João Mendes
Orientador		Almeida, João Marcos de
Editor		Universidade Federal do Rio Grande do Norte
Data		2025-07-21
Palavras-chave		Computação Automatic question generation Teaching logic Cut-based tableaux
Citação		LOPES NETO, João Mendes. A method for automated generation of proof exercises with a comparable level of complexity. Orientador: Dr. João Marcos de Almeida. 2025. 112f. Dissertação (Mestrado em Sistemas e Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2025.
Resumo
Abstract
URI		https://repositorio.ufrn.br/handle/123456789/65393