


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














