Ir al contenido

Documat


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

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

      Universidad Nebrija

      Madrid, España

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

Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno