Automated deduction with built-in theories. Completeness results and constraint solving tecniques

• Autores: Guillem Godoy Balil
• Directores de la Tesis: Robert Nieuwenhuis (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 2001
• Idioma: inglés
• Tribunal Calificador de la Tesis: Fernando Orejas Valdés (presid.) , Albert Rubio Gimeno (secret.) , Harald Ganzinger (voc.) , Hubert Comon (voc.) , Salvador Lucas Alba (voc.)
• Texto completo no disponible (Saber más ...)