Data structures and algorithms for automated deduction with equality

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

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

Fecha de defensa: 03 de de juliol de 2000

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

Tipus: Tesi

Teseo: 78965 DIALNET