Tesis doctoral de Nicola Galesi
Datos académicos de la tesis doctoral «On the complexity of propositional proof systems«
- Título de la tesis: On the complexity of propositional proof systems
- Autor: Nicola Galesi
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 08/05/2000
Dirección y tribunal
- Director de la tesis
- Bonet Carbonell M. Luisa
- Tribunal
- Presidente del tribunal: José Luis Balcazar navarro
- pavel Pudlak (vocal)
- jacobo Toran (vocal)
- Rafael Farre cirera (vocal)