H
Herbert Stoyan
11 works on record
Works

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

GWAI-85

LISP

Erklärung im Gespräch -- Erklärung im Mensch-Maschine-Dialog

Programmiermethoden der Künstlichen Intelligenz

Begründungsverwaltung

LISP-Programmierhandbuch

Programmiermethoden der künstlichen Intelligenz
Erklärung im Gespräch, Erklärung im Mensch-Maschine-Dialog
Erklärung im Gespräch, Erklärung im Mensch-Maschine-Dialog
Begrundungsverwaltung
Begrundungsverwaltung
LISP, Anwendungsgebiete, Grundbegriffe, Geschichte
LISP, Anwendungsgebiete, Grundbegriffe, Geschichte