RDF/XML JSON-LD N3/Turtle RDF/JSON

Abánades Astudillo, Miguel Ángel miguelangel.abanades@urjc.es

Economía Financiera y Contabilidad e Idioma Moderno / Universidad Rey Juan Carlos

Actividades

Development of automatic reasoning tools in GeoGebra

  • Abanades, Miguel
  • Botana, Francisco
  • Kovacs, Zoltan
  • Recio, Tomas
  • Solyom-Gecse, Csilla;

Acm Communications In Computer Algebra (p. 85-88) - 1/9/2016

10.1145/3015306.3015309 Ver en origen

  • ISSN 19322232

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

Towards the Automatic Discovery of Theorems in GeoGebra

  • Abanades, Miguel
  • Botana, Francisco
  • Kovacs, Zoltan
  • Recio, Tomas
  • Solyom-Gecse, Csilla;

Lecture Notes In Computer Science (p. 37-42) - 1/1/2016

10.1007/978-3-319-42432-3_5 Ver en origen

  • ISSN 03029743

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Este/a investigador/a no tiene proyectos de investigación.

Este/a investigador/a no tiene tesis dirigidas.

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 27/02/23 3:54