Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universitat Erlangen-Nurnberg gehalten haben. Wesentliche Anregungen verdanken die Autoren den Manuskripten der Vorle sung Structure und Interpretation of Computer Programs von Abelson, Fano und Sussman (1981, 1982, 1983 als MIT-AI-TR-735 veroffentlicht) am Massachusetts Institute ofTechnology, sowie den Lehrbuchern LISP von Win ston und Horn (1981) und Artificial Intelligence Programming von Charniak, Riesbeck und McDermott (1980) und dem Vorlesungsmanuskript LISP - Pro gramming and Proving...
Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universitat Erlangen-Nurnberg gehalten haben. We...
