Künstliche Intelligenz

Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986

AvThomas Christaller,Hans-Werner Hein

Häftad, Tyska, 1988

Del i serien Informatik-Fachberichte

567 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:1988-03-09
Mått:170 x 244 x undefined mm
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:341
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540189039

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

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.