KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11 - 14, 1990 ; proceedings (1991)

Kaplan, Stéphane [Hrsg.] 1961-1991 ; International CTRS Workshop 2 1990 Montréal

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_022771352

Umfang: X, 461 S. , graph. Darst. , 25 cm

ISBN: 3540543171 , 0387543171

Serie: Lecture notes in computer science 516

Anmerkung: Literaturangaben

Weitere Ausg.: Online-Ausg. Conditional and typed rewriting systems Berlin [u.a.] : Springer, 1991 ISBN 9783540475583

Weitere Ausg.: Erscheint auch als Online-Ausgabe Kaplan, Stéphane, 1961 - 1991 Conditional and Typed Rewriting Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 1991 ISBN 9783540475583

Sprache: Englisch

Schlagwort(e): Bedingtes Termersetzungssystem ; Bedingtes Termersetzungssystem ; Konferenzschrift ; Konferenzschrift

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0815/91025005-d.html

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Stabi Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg