Direkt zum Seiteninhalt springen

Knowledge and reasoning in program synthesis

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
Permalink https://digital-dev.deutsches-museum.de/item/NL-237-448
XML of the record We use machine readable, standardized XML formats like LIDO (Collection), METS/MODS (Library) and EAD (Archive) to provide our data. You can download the XML file of the selected record here. If you have any questions contact us by email to digital@deutsches-museum.de.

Download the XML of the record
Images Individual images can be downloaded from the viewer's toolbar. To get a full download of all images from a record contact us by email to digital@deutsches-museum.de.
If you have any questions, suggestions, or comments, please use the form to get in touch with us or send an e-mail to: digital@deutsches-museum.de.
no-image-available.jpg