Tribunales de tesis (1)

  1. Secretario del tribunal

    Data structures and algorithms for automated deduction with equality 2000

    Universitat Politècnica de Catalunya (UPC)

    Rivero Almeida, José Miguel