Jurys de thèses (1)

  1. Un secrétaire du jury

    Data structures and algorithms for automated deduction with equality 2000

    Universitat Politècnica de Catalunya (UPC)

    Rivero Almeida, José Miguel