Switch to: Citations

Add references

You must login to add references.
  1. On program synthesis knowledge.Cordell Green & David Barstow - 1978 - Artificial Intelligence 10 (3):241-279.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Syntax-directed, semantics-supported program synthesis.Wolfgang Bibel - 1980 - Artificial Intelligence 14 (3):243-261.
    Download  
     
    Export citation  
     
    Bookmark   2 citations