Proceedings-Artikel

Towards a Generic Management of Change

Dieter Hutter
In: Workshop on Computer-Supported Mathematical Theory Development, IJCAR'04. Cork, Ireland, 2004.

Weitere Links

BibTeX