default search action
KIFS 1985 & 1986: Dassel (Solling), Germany
- Thomas Christaller, Hans-Werner Hein, Michael M. Richter:
Künstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder, Frühjahrsschulen, Dassel, Deutschland, 8.-16. März 1985 und 8.-16. März 1986. Informatik-Fachberichte 159, Springer 1988, ISBN 3-540-18903-3 - 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ürgen 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.