1. DIGITAL.CSIC

Lopez-Garcia, Pedro

Colaboraciones Ver estadísticas de uso Alertas por Email RSS

Perfil

Firma en Digital.CSIC (*)
Lopez-Garcia, Pedro
 
Otras firmas
Pedro Lopez-Garcia
Lopez-Garcia, P.
P. Lopez-Garcia
Lopez, P.
P. Lopez
 
Centro o Instituto
CSIC - Instituto de Tecnologias Fisicas y de la Informacion Leonardo Torres Quevedo (ITEFI)
 
Departamento
Tecnologías de la Información y las Comunicaciones (TIC)
 
Categoría Profesional
Investigador Científico
 
Especialización
Análisis y verificación de sistemas
 
Email
pedro.lopez@csic.es
 
ORCID
 
Perfil en Google Scholar
 
WoS ResearcherID - Publons
 
Scopus AuthorID
 

Publications

Refined By:
Palabras Clave:  Logic programming

Resultados 1-2 de 2.

DerechosPreviewFecha Public.TítuloAutor(es)Tipo
1closedAccessaccesoRestringido.pdf.jpg2023Some Thoughts on How to Teach PrologHermenegildo, Manuel V.; Morales, José F.; Lopez-Garcia, Pedro capítulo de libro
2closedAccessaccesoRestringido.pdf.jpg2023A Rule-Based Approach for Designing and Composing Abstract DomainsJurjo, Daniel; Morales, José F.; Lopez-Garcia, Pedro ; Hermenegildo, Manuel V.capítulo de libro