Capítulos de Libro (1) Publicaciones en las que ha participado algún/a investigador/a

2006

  1. The moment of truth, in automatic theorem proving in elementary geometry: (extended abstract)

    Automated deduction in geometry: extended abstracts ([Vigo : Universidade de Vigo], D.L.), pp. 1-14