• Medientyp: Buch; Konferenzbericht
  • Titel: Rewriting techniques and applications : 9th international conference ; proceedings
  • Beteiligte: Nipkow, Tobias [Hrsg.]
  • Veranstaltung: RTA
  • Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1998
  • Erschienen in: Lecture notes in computer science ; 1379
  • Weitere Titel:
  • Enthält:
  • Umfang: X, 342 S.; graph. Darst
  • Sprache: Englisch
  • ISBN: 354064301X
  • Entstehung:
  • RVK-Notation: SS 4800 : Lecture notes in computer science
  • Schlagwörter: Reduktionssystem
    Reduktionssystem
  • Anmerkungen:
  • Weitere Bestandsnachweise
    0 : Lecture notes in computer science

Exemplare

(0)
  • Signatur: R2016 8 4386
  • Barcode: 30440381
  • Status: Ausleihbar, bitte bestellen