Normal view
MARC view
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (Personal Name)
Machine generated authority record
Work cat.: (OSt)1639697: Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, Description Logic, Theory Combination, and All That