> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Zeitschrift; Konferenzbericht Titel: Rewriting techniques and applications : proceedings Veranstaltung: International Conference on Rewriting Techniques and Applications RTA Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1985-1989 Erscheinungsverlauf: 1.1985 - 3.1989 Sprache: Nicht zu entscheiden Schlagwörter: Automatisches Beweisverfahren Entstehung: Anmerkungen: Urh. anfangs: International Conference on Rewriting Techniques and Applications Forts. als Monographie behandelt Weitere Bestandsnachweise 1 : Rewriting techniques and applications - 1 2 : Rewriting techniques and applications - 2 3 : Rewriting techniques and applications - 3