Buscar

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

Detalle_Publicacion

Detecting truth, just on parts, in automated reasoning in geometry

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

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

 Año de publicación: 2018

Nº de páginas: 4

Páginas: 32 a 35

Tipo de publicación: Comunicación a Congreso

ISBN: 978-84-16954-87-2

 Proyecto español: MTM2017-88796

Autoría

KOVÁCS, ZOLTÁN

TOMAS JESUS RECIO MUÑIZ

VÉLEZ, M. PILAR