Catalogo · 9780387138954
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
ISBN 9780387138954
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Programmiermethoden der Künstlichen Intelligenz
Herbert Stoyan
Erklärung im Gespräch -- Erklärung im Mensch-Maschine-Dialog
Herbert Stoyan
Begründungsverwaltung
Herbert Stoyan
LISP
Herbert Stoyan, Günter Görz
LISP-Programmierhandbuch
Herbert Stoyan
LISP, Anwendungsgebiete, Grundbegriffe, Geschichte
Herbert Stoyan
GWAI-85
Herbert Stoyan
Verba volant · scripta manent