Tribunais de teses (1)

  1. Secretario do tribunal

    Data structures and algorithms for automated deduction with equality 2000

    Universitat Politècnica de Catalunya (UPC)

    Rivero Almeida, José Miguel