Logic-Based Program Synthesis and Transformation: 8th International Workshop, LO
68,59 €
Pragmatics in the Synthesis of Logic Programs. - Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. - Synthesis of Programs in Abstract Data Types. - The Use of Renaming in Composing General Programs.
Jetzt bei Ebay:
