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