Anschaffungsvorschlag: Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson,...
Sie befinden sich in einem Dialogfenster, das über dem Hauptinhalt der Seiten liegt. Drücken Sie die Escape-Taste oder die Schaltfläche 'Dialogfenster schließen', um das Fenster zu schließen und auf der Hauptseite weiterzuarbeiten.