Künstliche Intelligenz
Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986
Editors: Christaller, Thomas, Hein, Hans-Werner, Richter, Michael M. (Hrsg.)
Free PreviewBuy this book
- About this book
-
Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführungen in LISP und PROLOG, sowie ausführliche Beiträge über Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.
- Table of contents (7 chapters)
-
-
Einführung in LISP
Pages 1-35
-
PROLOG: PROgrammieren mit LOGik Eine Einführung
Pages 36-57
-
Robotik und Kunstliche Intelligenz
Pages 58-133
-
Programmverifikation
Pages 134-182
-
Qualitative Modelle in Wissensbasierten Systemen
Pages 183-244
-
Table of contents (7 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Künstliche Intelligenz
- Book Subtitle
- Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986
- Editors
-
- Thomas Christaller
- Hans-Werner Hein
- Michael M. Richter
- Series Title
- Subreihe Künstliche Intelligenz
- Series Volume
- 159
- Copyright
- 1988
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-73405-2
- DOI
- 10.1007/978-3-642-73405-2
- Softcover ISBN
- 978-3-540-18903-9
- Edition Number
- 1
- Number of Pages
- VII, 341
- Topics
