Data structures and algorithms for automated deduction with equality
- Rivero Almeida, José Miguel
- Robert Nieuwenhuis Director/a
Universidad de defensa: Universitat Politècnica de Catalunya (UPC)
Fecha de defensa: 03 de julio de 2000
- Fernando Orejas Valdés Presidente/a
- Alberto Rubio Gimeno Secretario
- Andrei Voronkov Vocal
- Christopher Weidenbach Vocal
- Francisco López Fraguas Vocal
Tipo: Tesis