KIFS 1985 & 1986: Dassel (Solling), Germany

Thomas Christaller, Hans-Werner Hein, Michael M. Richter (Eds.): Künstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder, Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986. Informatik-Fachberichte 159 Springer 1988, ISBN 3-540-18903-3

@proceedings{DBLP:conf/ki/1986kifs,
  editor    = {Thomas Christaller and
               Hans-Werner Hein and
               Michael M. Richter},
  title     = {K{\"u}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
               Fr{\"u}hjahrsschulen, Dassel, 8.-16. M{\"a}rz 1985 und 8.-16.
               M{\"a}rz 1986},
  booktitle = {KIFS},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {159},
  year      = {1988},
  isbn      = {3-540-18903-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Thomas Christaller: Einführung in LISP. 1-35
Helmar Gust, Michael König: PROLOG: PROgrammieren mit LOGik - Eine Einführung. 36-57
Paul Levi, J. Foldenauer, Th. Löffler: Robotik und Künstliche Intelligenz. 58-133
Volker Penner: Programmverifikation. 134-182
Frank Puppe, Hans Voß: Qualitative Modelle in wissensbasierten Systemen. 183-244
Franz Schmalhofer, Thomas Wetter: Kognitive Modellierung: Menschliche Wissensrepräsentation und Verarbeitungsstrategien. 245-291
Christoph Walther: Automatisches Beweisen. 292-339

Last update Fri May 25 08:24:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page