Term rewriting and applications
: 17th international conference ; proceedings / RTA 2006, Seattle, WA, USA, August 12 - 14, 2006. Frank Pfenning (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4098)
ISBN 978-3-540-36835-9
Lizenzpflichtig
Quelle: DNB
Term rewriting and applications
: 18th international conference ; proceedings / RTA 2007, Paris, France, June 26 - 28, 2007. Franz Baader (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4533)
ISBN 978-3-540-73449-9
Lizenzpflichtig
Quelle: DNB
Term rewriting and applications
: 18th international conference ; proceedings / RTA 2007, Paris, France, June 26 - 28, 2007. Franz Baader (ed.). - Berlin : Springer, 2007. - XII, 418 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4533)
ISBN 978-3-540-73447-5 / 3-540-73447-3 kart. : EUR 59.92 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
