Data structures and algorithms for automated deduction with equality
- Rivero Almeida, José Miguel
- Robert Nieuwenhuis Directeur/trice
Université de défendre: Universitat Politècnica de Catalunya (UPC)
Fecha de defensa: 03 juillet 2000
- Fernando Orejas Valdés President
- Alberto Rubio Gimeno Secrétaire
- Andrei Voronkov Rapporteur
- Christopher Weidenbach Rapporteur
- Francisco López Fraguas Rapporteur
Type: Thèses