Publikation
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.
@incollection{pub1634, author = { Mossakowski, Till and Hoffman, P. and Autexier, Serge and Hutter, Dieter }, editor = { Krieg-Brückner, Bernd and Mosses, P. }, title = {Part IV: CASL Logic}, booktitle = {The CASL Reference Manual}, series = {LNCS}, year = {2004}, volume = {2960}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023