Researchers portal

Portal del personal investigador

Estamos realizando la búsqueda. Por favor, espere...

Portal del Investigador > Publicaciones > detalle publicacion

Proceedings Applications of Computer Algebra : Santiago de Compostela, Spain, June 18-22, 2018 : 24 th Conference on Applications of Computer Algebra

Comunicaciones del congreso o publicaciones relacionadas con autores/as de la Universidad de Cantabria

Detecting truth, just on parts, in automated reasoning in geometry - Comunicación a Congreso

Editorial: Servizo de Publicacións e Intercambio Científico, Universidade de Santiago de Compostela

Año de publicación: 2018

Nº de páginas: 296

Tipo de publicación: Comunicación a Congreso

DOI: 10.15304/9788416954872

ISBN: 978-84-16954-87-2

Url de la publicación: http://dx.doi.org/10.15304/9788416954872

Leer publicación

Autoría

BOTANA, FRANCISCO

LAGO, FELIPE

LADRA, MANUEL

Descargar referencia

Bib Ris