Zoeken

U zocht naar: Auteur Lopez-Garcia, Pedro. Filter Auteur: Lopez-Garcia, Pedro. weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Logic-Based Program Synthesis and Transformation
thumbnail
Full text!
Auteur:
Hermenegildo; Lopez-Garcia, Pedro
Uitgever:
Springer International Publishing 2017
Type:
e-book
2. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
thumbnail
Full text!
Auteur:
Lopez-Garcia, Pedro.; Gallagher, John P.; Giacobazzi, Roberto
Uitgever:
Cham Springer 2023
Type:
e-book