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

Tesis doctoral de Guillem Godoy Balil

Datos académicos de la tesis doctoral «Automated deduction with built-in theories. completeness results and constraint solving tecniques«

• Título de la tesis:  Automated deduction with built-in theories. completeness results and constraint solving tecniques
• Autor:  Guillem Godoy Balil
• Universidad:  Politécnica de catalunya
• Fecha de lectura de la tesis:  11/02/2001

Dirección y tribunal

• Director de la tesis
  • Robert Lukas Mario Nieuwenhuis
• Tribunal
  • Presidente del tribunal: fernando Orejas valdés
  • hubert Comon (vocal)
  • harald Ganzinger (vocal)
  • salvador Lucas alba (vocal)