書(shū)目名稱 | Künstliche Intelligenz |
副標(biāo)題 | Theoretische Grundla |
編輯 | Thomas Christaller,Hans-Werner Hein,Michael M. Ric |
視頻video | http://file.papertrans.cn/547/546031/546031.mp4 |
叢書(shū)名稱 | Informatik-Fachberichte |
圖書(shū)封面 |  |
描述 | 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. |
出版日期 | Conference proceedings 1988 |
關(guān)鍵詞 | Beweisen; Modellierung; Mustererkennung; Roboter; Robotik; Verifikation; Wissen; Wissensrepr?sentation; küns |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-73405-2 |
isbn_softcover | 978-3-540-18903-9 |
isbn_ebook | 978-3-642-73405-2Series ISSN 0343-3005 |
issn_series | 0343-3005 |
copyright | Springer-Verlag Berlin Heidelberg 1988 |