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

• Zoltán Kovács ; Tomás Recio ; Pilar Vélez ^[1]
  1. [1] Universidad Nebrija

     Universidad Nebrija

     Madrid, España

     
• Localización: Applications of Computer Algebra: proceedings / coord. por Francisco Botana Ferreiro , Felipe Gago Couso , Manuel Ladra González , 2018, ISBN 978-84-16954-87-2, págs. 32-35
• Idioma: español
• Texto completo no disponible (Saber más ...)