New foundations for automation of default reasoning
Verfasserangaben: | Thomas Linke |
---|---|
ISBN: | 3-89838-237-0 |
Verlag: | Akad. Verl.-Ges. Aka |
Verlagsort: | Berlin |
Publikationstyp: | Monographie/Sammelband |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2000 |
Erscheinungsjahr: | 2000 |
Datum der Freischaltung: | 24.03.2017 |
Band: | 237 |
Seitenanzahl: | VII, 182 S. |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |