Produktnummer:
18dc0f3783d95042e99c04cb4160ee4246
| Themengebiete: | Beweisen Modellierung Mustererkennung Roboter Robotik Verifikation Wissen Wissensrepräsentation künstliche Intelligenz |
|---|---|
| Veröffentlichungsdatum: | 09.03.1988 |
| EAN: | 9783540189039 |
| Sprache: | Deutsch |
| Seitenzahl: | 341 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Christaller, Thomas Hein, Hans-Werner Richter, Michael M. |
| Verlag: | Springer Berlin |
| Untertitel: | Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986 |
Produktinformationen "Künstliche Intelligenz"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen