Publikation

Part IV: CASL Logic

Till Mossakowski; P. Hoffman; Serge Autexier; Dieter Hutter

In: Bernd Krieg-Brückner; P. Mosses (Hrsg.). The CASL Reference Manual. LNCS, Vol. 2960, Springer, 2004.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence