5. GWAI 1981: Baf Honnef

Refine list

showing all ?? records

Computersehen und Roboterforschung

Natürlichsprachliche KI-Systeme

Expertensysteme/Verarbeitung natürlicher Sprache

KI-Sprachen und deren Anwendungen

Automatisches Beweisen und Connectiongraphverfahren

Termersetzungssysteme und automatisches Beweisen

Programmverifikation/Sprache/Spiele

a service of  Schloss Dagstuhl - Leibniz Center for Informatics