Im Zuge des beschleunigten Internationalisierungsprozesses der letzten Jahrzehnte sind zahlreiche neue überstaatliche Gerichte entstanden, deren Spruchtätigkeit direkte oder indirekte Auswirkungen auf die Tätigkeit nationaler Gerichte...

"An Introduction to Description Logic" von Carsten Lutz ist ein umfassendes Lehrbuch, das sich mit den Grundlagen und Anwendungen der Beschreibungssprachen beschäftigt. Beschreibungssprachen sind eine Familie von formalen Logiken, die...