Willkommen, schön sind Sie da!
Logo Ex Libris

Künstliche Intelligenz

  • Kartonierter Einband
  • 352 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz... Weiterlesen
20%
75.00 CHF 60.00
Print on demand - Exemplar wird für Sie besorgt.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Klappentext

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.



Inhalt
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.

Produktinformationen

Titel: Künstliche Intelligenz
Untertitel: Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16.März 1986
Editor:
EAN: 9783540189039
ISBN: 978-3-540-18903-9
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 352
Gewicht: 595g
Größe: H200mm x B250mm x T25mm
Jahr: 1988

Weitere Produkte aus der Reihe "Subreihe Künstliche Intelligenz"