Gilberto Pérez

• Colaboraciones en obras colectivas (1)
• Libros (2)
• Tesis (1)
• Tesis dirigidas (1)

• Colaboraciones en obras colectivas

  • Seleccionado

    Sobre la conmutatividad de las teorías algebraicas

    Gilberto Pérez

    XIV jornadas hispano-Lusas de matemáticas, Vol. 1, 1989, ISBN 84-7756-240-7, págs. 119-124

    

• Libros

  • Seleccionado

    Problemas resueltos de combinatoria: laboratorio con SageMath

    Felicidad Aguado , Felipe Gago Couso , Manuel Ladra González , Gilberto Pérez, Ana María Vieites Rodríguez

    Paraninfo, 2018. ISBN 978-84-283-4074-8

    
  • Seleccionado

    Autómatas finitos con programación funcional

    Antonio Blanco Ferro , Gilberto Pérez, José Santiago Jorge Castro

    Universidade da Coruña, 1993. ISBN 84-88301-66-9

    

• Tesis

  • Seleccionado

    Bases de Göbner: desarrollo formal en coq

    Gilberto Pérez

    Tesis doctoral dirigida por José María Barja Pérez (dir. tes.) . Universidade da Coruña (2005).

    • Resumen
    • Tesis en acceso abierto en: RUC
    

• Tesis dirigidas

  • Seleccionado

    Generating Commonsense Explanations with Answer Set Programming

    Brais Muñiz Castro

    Tesis doctoral dirigida por Pedro Cabalar (dir. tes.) , Gilberto Pérez (dir. tes.). Universidade da Coruña (2024).

    • Resumen
    • Tesis en acceso abierto en: RUC
    

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.