Theses Committees (1)

  1. Secretary of the Committee

    Data structures and algorithms for automated deduction with equality 2000

    Universitat Politècnica de Catalunya (UPC)

    Rivero Almeida, José Miguel