Data structures and algorithms for automated deduction with equality

• Autores: José Miguel Rivero Almeida
• Directores de la Tesis: Robert Nieuwenhuis (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 2000
• Idioma: inglés
• Tribunal Calificador de la Tesis: Fernando Orejas Valdés (presid.) , Alberto Rubio Gimeno (secret.) , Andrei Voronkov (voc.) , Christopher Weidenbach (voc.) , Francisco López Fraguas (voc.)
• Texto completo no disponible (Saber más ...)