Switch to: References

Add citations

You must login to add citations.
  1. Top-down synthesis of divide-and-conquer algorithms.Douglas R. Smith - 1985 - Artificial Intelligence 27 (1):43-96.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • An experiment in knowledge-based automatic programming.David R. Barstow - 1979 - Artificial Intelligence 12 (2):73-119.