Künstliche Intelligenz
Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16.März 1986
Published on 9. March 1988
Book
Paperback/Softback
VII, 341 pages
978-3-540-18903-9 (ISBN)
Description
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.
More details
Series
Language
German
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VII, 341 S.
Dimensions
Height: 244 mm
Width: 170 mm
Thickness: 20 mm
Weight
608 gr
ISBN-13
978-3-540-18903-9 (9783540189039)
DOI
10.1007/978-3-642-73405-2
Schweitzer Classification
Other editions
Additional editions
Thomas Christaller | Hans-Werner Hein | Michael M. Richter
Künstliche Intelligenz
Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16.März 1986
E-Book
07/2013
1st Edition
Springer
€33.26
Available for download
Content
Einführung in LISP.- PROLOG: PROgrammieren mit LOGik Eine Einführung.- Robotik und Kunstliche Intelligenz.- Programmverifikation.- Qualitative Modelle in Wissensbasierten Systemen.- Kognitive Modellierung: Menschliche Wissensrepräsentationen und Verarbeitungsstrategien.- Automatisches Beweisen.