Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th Inte
69,04 €
An extended transformation system for CLP programs. - Using call/exit analysis for logic program transformation. - On the use of inductive reasoning in program synthesis: Prejudice and prospects.
Jetzt bei Ebay:
