Künstliche Intelligenz
Subtitle: theoretische Grundlagen und Anwendungsfelder : Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986
By: Th. Christaller, H.-W. Hein, M.M. Richter (Hrsg.).
Contributors: Christaller, Thomas.; Hein, H.-W.; Richter, Michael M., 1938-; Gesellschaft für Informatik. Fachausschuss 1.2--"Künstliche Intelligenz und Mustererkennung."; Frühjahrsschule Künstliche Intelligenz (3rd : 1985 : Dassel, Germany); Frühjahrsschule Künstliche Intelligenz (4th : 1986 : Dassel, Germany)
Series: Informatik-Fachberichte ;; 159.; Subreihe Künstliche Intelligenz; Informatik-Fachberichte ;; 159.; Subreihe Künstliche Intelligenz.
Publisher: Springer
Published: 1988
Place of publication: Berlin; New York
Language: ger
Number of pages: 339
Subjects: Artificial intelligence -- Data processing -- Congresses.
Notes: Includes bibliographies.
Papers presented at the 3rd and 4th Frühjahrsschule Künstliche Intelligenz organized by the Fachausschuss 1.2--"Künstliche Intelligenz und Mustererkennung" of the Gesellschaft für Informatik.
Table of contents: title: Einführung in LISP / Thomas Christaller; title: PROgrammieren mit LOGik / Helmar Gust, Michael König; title: Robotik und künstliche Intelligenz / Paul Levi, J. Foldenauer, Th. Löffler; title: Programmverifikation / Volker Penner; title: Qualitative Modelle in wissensbasierten Systemen / Frank Puppe, Hans Voss; title: Kognitive Modellierung / Franz Schmalhofer, Thomas Wetter; title: Automatisches Bauwesen / Christoph Walter.