Buchkapitel (1) Publikationen, an denen Forscher/innen teilgenommen haben

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