3 Review(s)

Die deutsche Fruehjahrsschule fuer Kuenstliche Intelligenz, jaehrlich veranstaltet von der Fachgruppe 1.2 "Kuenstliche Intelligenz und Mustererkennung" der Gesellschaft fuer Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Fruehjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergroessert die thematische Vielfalt des bereits Verfuegbaren um neuartige Einfuehrungen in LISP und PROLOG, sowie ausfuehrliche Beitraege ueber Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.