Data structures and algorithms for automated deduction with equality

  1. Rivero Almeida, José Miguel
unter der Leitung von:
  1. Robert Nieuwenhuis Doktorvater/Doktormutter

Universität der Verteidigung: Universitat Politècnica de Catalunya (UPC)

Fecha de defensa: 03 von Juli von 2000

Gericht:
  1. Fernando Orejas Valdés Präsident/in
  2. Alberto Rubio Gimeno Sekretär
  3. Andrei Voronkov Vocal
  4. Christopher Weidenbach Vocal
  5. Francisco López Fraguas Vocal

Art: Dissertation

Teseo: 78965 DIALNET