DOI10.1016/0004-3702(80)90001-6zbMath0442.68098MaRDI QIDQ1143825
Ria Follett
Publication date: 1980 Published in: Artificial Intelligence (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0004-3702(80)90001-6
zbMATH Keywords
automatic program synthesis; plan synthesis
Mathematics Subject Classification ID
68T99: Artificial intelligence
68N99: Theory of software
Related Items
Cites Work