Libros:
Heras Vicente, Jonathan

Encontrados 4 registros. 1 de 1
  • 1
Título Autores Año
XV Encuentro de Álgebra computacional y aplicaciones

 Texto completo open access 
Heras Vicente, Jonathan (Coordinador de libro colectivo); Romero Ibáñez, Ana (Coordinador de libro colectivo);  2016
Proceedings of 20th Automated Reasoning Workshop

Heras Vicente, Jonathan (Coordinador de libro colectivo); Komendantskaya, Ekaterina;  2013
Gestión mecanizada del conocimiento matemático en topología algebraica

Rubio García, JulioPascual Martínez-Losa, María VicoHeras Vicente, Jonathan 2011
  • 1