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