Special issue on dynamic geometry and automated reasoning

  1. Botana, F.
  2. Kovács, Z.
  3. Recio, T.
Revista:
Journal of Symbolic Computation

ISSN: 0747-7171

Año de publicación: 2020

Volumen: 97

Páginas: 1-2

Tipo: Editorial

DOI: 10.1016/J.JSC.2018.12.001 GOOGLE SCHOLAR