| Signature mark | NL 237/448 |
|---|---|
| Subject | Publikation Zeitschriftenartikel |
| Author |
Waldinger, Richard Zohar, Manna |
| Title | Knowledge and reasoning in program synthesis |
| Duration | 1974 |
| Scope | 5 S. gedr. (Kopie) |
| Further information |
Published in:
Informatiksymposium 1974 der IBM Deutschland |
| Formal information | Languages: Englisch |
| Rights notice | CC BY-SA 4.0 |
