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.
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Allemand ● Format PDF ● ISBN 9783642734052 ● Éditeur Thomas Christaller & Hans-Werner Hein ● Maison d’édition Springer Berlin Heidelberg ● Publié 2013 ● Téléchargeable 3 fois ● Devise EUR ● ID 6331726 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM