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

Rusinowitch, Michaël (Sonstige); CTRS (Sonstige)

Schriftenreihe

Lecture notes in computer science ; 656

veröffentlicht

Berlin [u.a.]: Springer, 1993
Online-Ausg.. Berlin [u.a.]: Springer, 2006

Erscheinungsjahr

1993

Teil von

Lecture notes in computer science ; 656

Druckausg.

Conditional term rewriting systems, Berlin : Springer-Verl., 1993, XI, 501 S.

Andere Ausgaben

Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings

Medientyp

E-Book Konferenzbericht

Datenquelle

K10plus Verbundkatalog
Springer Lecture Notes

Tags

Tag hinzufügen