Tribunals de tesi (1)

  1. Secretari del tribunal

    Data structures and algorithms for automated deduction with equality 2000

    Universitat Politècnica de Catalunya (UPC)

    Rivero Almeida, José Miguel