Logic-based Program Synthesis And Transformation 18th International

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 |

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

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

Maurizio Proietti | Logic Program Synthesis And Transformation |

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

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

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

Logic Program Synthesis From Incomplete Information | Pierre Flener |

Memory-based Logic Synthesis 2832

Computer Science Logic 23rd International Workshop, Csl 2009, 18th

Memory-based Logic Synthesis | Tsutomu Sasao | Englisch | Taschenbuch

Logic Synthesis For Fsm-based Control Units 1697

Memory-based Logic Synthesis Tsutomu Sasao Taschenbuch Paperback Xii