Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
Bibliographische Detailangaben
- Titel
- Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
- verantwortlich
- ; ;
- Schriftenreihe
- Lecture notes in computer science ; 656
- veröffentlicht
- Erscheinungsjahr
- 1993
- Teil von
- Lecture notes in computer science ; 656
- Erscheint auch als
- Rusinowitch, Michael, Conditional Term Rewriting Systems, Berlin, Heidelberg : Springer Berlin Heidelberg, 1993, Online-Ressource
- Online-Ausg.
- Conditional term rewriting systems, Berlin [u.a.] : Springer, 1993, Online-Ressource (XI, 501 S.)
- Medientyp
- Buch Konferenzbericht
- Datenquelle
- K10plus Verbundkatalog
- Tags
- Tag hinzufügen
Zugang
Weitere Informationen sehen Sie, wenn Sie angemeldet sind. Noch keinen Account? Jetzt registrieren.