Publikationen

Zeige Ergebnisse 1 bis 2 von 2

In: The CASL Reference Manual. LNCS 2960 Springer 2004.

Zur Publikation

In: Journal of Logic and Algebraic Programming (JLAP) Elsevier 2004.

Zur Publikation

Jahr

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