Data structures and algorithms for automated deduction with equality

  1. Rivero Almeida, José Miguel
Dirigida por:
  1. Robert Nieuwenhuis Director/a

Universidad de defensa: Universitat Politècnica de Catalunya (UPC)

Fecha de defensa: 03 de julio de 2000

Tribunal:
  1. Fernando Orejas Valdés Presidente/a
  2. Alberto Rubio Gimeno Secretario
  3. Andrei Voronkov Vocal
  4. Christopher Weidenbach Vocal
  5. Francisco López Fraguas Vocal

Tipo: Tesis

Teseo: 78965 DIALNET