Researchers portal

Portal del personal investigador

Searching. Please wait…

Portal del Investigador > Publicaciones > detalle publicacion

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

Read publication

Authorship

BOTANA, FRANCISCO

LAGO, FELIPE

LADRA, MANUEL

Download reference

Bib Ris