Publikationen

Zeige Ergebnisse 1 bis 1 von 1

In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002) Springer-Verlag, LNCS 2002.

Zur Publikation

Jahr

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