María Luisa Bonet Carbonell

Ayuda

María Luisa Bonet Carbonell

Instituciones Universitat Politècnica de Catalunya (UPC) (2007) Área de conocimiento Lenguajes y Sistemas Informáticos Identificadores de autor Scopus Periodo de publicación recogido 2000 - 2004
Ocultar coautorías Nicola Galesi Juan Luis Esteban Angeles Albert Atserias Peri

Tesis dirigidas (3)

Tesis dirigidas
- Seleccionado
  Complexity measures for resolution
  Juan Luis Esteban Angeles
  Tesis doctoral dirigida por María Luisa Bonet Carbonell (dir. tes.), Jacobo Toran Romero (dir. tes.) . Universitat Politècnica de Catalunya (UPC) (2004).
  - Resumen
  - Tesis en acceso abierto en: TDX
- Seleccionado
  The complexity of resource-bounded propositional proofs
  Albert Atserias Peri
  Tesis doctoral dirigida por José Luis Balcázar Navarro (dir. tes.) , María Luisa Bonet Carbonell (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2002).
- Seleccionado
  On the complexity of propositional proof systems
  Nicola Galesi
  Tesis doctoral dirigida por María Luisa Bonet Carbonell (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2000).

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.