Signatur | NL 237/448 |
---|---|
Gegenstand | Publikation Zeitschriftenartikel |
Verfasser |
Waldinger, Richard Zohar, Manna |
Titel | Knowledge and reasoning in program synthesis |
Laufzeit | 1974 |
Umfang | 5 S. gedr. (Kopie) |
Weitere Informationen |
Publiziert in:
Informatiksymposium 1974 der IBM Deutschland |
Formalangaben | Sprachen: Englisch |
Rechtehinweis | CC BY-SA 4.0 |