• Media type: Book; Conference Proceedings
  • Title: Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26 - 28, 2007 ; proceedings
  • Contributor: Baader, Franz [Editor]
  • Event: RTA
  • Published: Berlin; Heidelberg [u.a.]: Springer, 2007
  • Published in: Lecture notes in computer science ; 4533
  • Extent: XII, 418 S.; graph. Darst; 235 mm x 155 mm
  • Language: English
  • ISBN: 3540734473; 9783540734475
  • Publisher, production or purchase order numbers: Sonstige Nummer: 12086580
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Reduktionssystem
    Termersetzungssystem
  • Origination:
  • Footnote: Literaturangaben

copies

(0)
  • Shelf-mark: R2016 8 8431
  • Item ID: 31733687
  • Status: Loanable, place order
Delivery expected: 1 - 2 days after order