Design pattern (Kochrezepte) für die Strukturierung von mathematischen Beweisen24 verschiedene Be...

This volume contains the tutorial papers of the Summer School ¿Reasoning Web,¿July25¿29,2005(http...

Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überbli...

Die Gedichte der jungen jüdischen Lyrikerin Selma Meerbaum-Eisinger zeugen von einem außergewöhnl...