Pedro Lopez-Garcia

Pedro Lopez-Garcia

1 ספרים במאגר

ספרים

Analysis, Verification and Transformation for Declarative Programming and Intelligent SystemsPedro Lopez-Garcia

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Pedro Lopez-Garcia · 2023

ספרים משותפים ואוספים

ספרים שבהם Pedro Lopez-Garcia מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Logic-Based Program Synthesis and TransformationManuel V Hermenegildo

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo · 2017