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

  1. Zoltán Kovács
  2. Tomás Recio
  3. Pilar Vélez 1
  1. 1 Universidad Nebrija
    info

    Universidad Nebrija

    Madrid, España

    ROR https://ror.org/03tzyrt94

Liburua:
Applications of Computer Algebra: proceedings
  1. Francisco Botana (coord.)
  2. Felipe Gago (coord.)
  3. Manuel Ladra (coord.)

Argitaletxea: Servicio de Publicaciones e Intercambio Científico ; Universidad de Santiago de Compostela

ISBN: 978-84-16954-87-2

Argitalpen urtea: 2018

Orrialdeak: 32-35

Biltzarra: Conference on Applications of Computer Algebra (24. 2018. Santiago de Compostela)

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet