Data structures and algorithms for automated deduction with equality

Tesis doctoral de José Miguel Rivero Almeida

 

Datos académicos de la tesis doctoral «Data structures and algorithms for automated deduction with equality«

  • Título de la tesis:  Data structures and algorithms for automated deduction with equality
  • Autor:  José Miguel Rivero Almeida
  • Universidad:  Politécnica de catalunya
  • Fecha de lectura de la tesis:  03/07/2000

 

Dirección y tribunal

  • Director de la tesis
    • Robert Lukas Mario Nieuwenhuis
  • Tribunal
    • Presidente del tribunal: fernando Orejas valdés
    • christopher Weidenbach (vocal)
    • andrei Voronkov (vocal)
    • Francisco Javier Lopez fraguas (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio