مؤتمر
Automatic synthesis of recursive programs: the proof-planning paradigm
| العنوان: | Automatic synthesis of recursive programs: the proof-planning paradigm |
|---|---|
| المؤلفون: | Armando, A., Smaill, A., Green, I. |
| المصدر: | Proceedings 12th IEEE International Conference Automated Software Engineering Automated software engineering Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference. :2-9 1997 |
| Relation: | Proceedings 12th IEEE International Conference Automated Software Engineering |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0818679611 9780818679612 |
|---|---|
| DOI: | 10.1109/ASE.1997.632818 |