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.
Band 103
Kartonierter Einband (Kt) | 1985
Band 104
Kartonierter Einband (Kt) | 1985
Band 106
Kartonierter Einband (Kt) | 1985
Band 112
Kartonierter Einband (Kt) | 1985
Band 114
Kartonierter Einband (Kt) | 1985
Band 115
Kartonierter Einband (Kt) | 1985
Band 118
Kartonierter Einband (Kt) | 1986
Band 120
Kartonierter Einband (Kt) | 1986
Band 122
Kartonierter Einband (Kt) | 1986
Band 125
Kartonierter Einband (Kt) | 1986
Band 151
Kartonierter Einband (Kt) | 1987
Band 152
Kartonierter Einband (Kt) | 1987
Band 155
Kartonierter Einband (Kt) | 1987
Band 159
Kartonierter Einband (Kt) | 1988
Band 169
Kartonierter Einband (Kt) | 1988
Band 172
Kartonierter Einband (Kt) | 1988
Band 176
Kartonierter Einband (Kt) | 1988
Band 181
Kartonierter Einband (Kt) | 1988
Band 191
Kartonierter Einband (Kt) | 1988
Band 195
Kartonierter Einband (Kt) | 1988
Band 199
Kartonierter Einband (Kt) | 1988
Band 200
Kartonierter Einband (Kt) | 1989
Band 202
Kartonierter Einband (Kt) | 1989
Band 203
Kartonierter Einband (Kt) | 1989
Band 208
Kartonierter Einband (Kt) | 1989
Band 213
Kartonierter Einband (Kt) | 1989
Band 216
Kartonierter Einband (Kt) | 1989
Band 266
Kartonierter Einband (Kt) | 1991
Band 281
Kartonierter Einband (Kt) | 1991
Band 285
Kartonierter Einband (Kt) | 1991
Band 287
Kartonierter Einband (Kt) | 1991
Band 288
Kartonierter Einband (Kt) | 1991
Band 291
Kartonierter Einband (Kt) | 1991
Band 300
Kartonierter Einband (Kt) | 1992
Band 307
Kartonierter Einband (Kt) | 1992
Band 308
Kartonierter Einband (Kt) | 1992
Band 310
Kartonierter Einband (Kt) | 1992
Band 311
Kartonierter Einband (Kt) | 1992
Band 313
Kartonierter Einband (Kt) | 1992
Band 47
Kartonierter Einband (Kt) | 1981
Band 48
Kartonierter Einband (Kt) | 1981
Band 59
Kartonierter Einband (Kt) | 1982
Band 93
Kartonierter Einband (Kt) | 1985