Suchfeld einblenden
Person Bachmair, Leo
1 Treffer
Seite < 1 >
Rewriting techniques and applications
: 11th international conference ; proceedings / RTA 2000, Norwich, UK, July 10 - 12, 2000. Leo Bachmair (ed.). - Berlin : Springer, 2000. - X, 273 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1833)
ISBN 978-3-540-67778-9 / 3-540-67778-X kart. : DM 74.00
Literaturangaben
Quelle: DNB
Seite < 1 >