Special issue on Formalization of Geometry, Automated and Interactive Geometric Reasoning

Prazo para submissão: November 24th, 2024

Data de Notificação: 01/04/2025

Editora: Springer

Revista: Annals of Mathematics and Artificial Intelligence

Link: https://link.springer.com/journal/10472/updates/27497128

Detalhes:

Resumo não disponível