Hirohisa Seki (u. A.) | Logic-based Program Synthesis And

Ricardo Peña (u. A.) | Logic-based Program Synthesis And

Logic-based Program Synthesis And Transformation Peter J. Stuckey (u.

Logic-based Program Synthesis And Transformation 29th International

Maribel Fernández | Logic-based Program Synthesis And Transformation |

Michael Hanus | Logic-based Program Synthesis And Transformation |

Sandro Etalle | Logic Based Program Synthesis And Transformation |

Danny De Schreye | Logic-based Program Synthesis And Transformation |

Franco Turini (u. A.) | Logic Program Synthesis And Transformation

Alexander Barkalov (u. A.) | Logic Synthesis For Fpga-based Control

Logic-Based Program Synthesis and Transformation, Fachbücher von Michael Hanus

Logic-Based Program Synthesis and Transformation, Fachbücher von Elvira Albert

Logic-Based Program Synthesis and Transformation, Fachbücher von Maurizio Gabbrielli

Memory-based Logic Synthesis 2832

Logic-Based Program Synthesis and Transformation, Fachbücher von John P. Gallagher, Fabio Fioravanti

Logic-Based Program Synthesis and Transformation, Fachbücher von Fred Mesnard, Peter J. Stuckey