Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26 - 28, 2007 ; proceedings

Bibliographic Details
Other Involved Persons: Baader, Franz (Editor) ; RTA (Other)
Format: Book
Language:English
Published: Berlin Heidelberg [u.a.] : Springer 2007
ISBN:3540734473
9783540734475
9783540734499
354073449X
Series:Lecture notes in computer science 4533
Item Description:Literaturangaben
Physical Description:XII, 418 S. graph. Darst. 235 mm x 155 mm
Subjects:
QR Code: Show QR Code

Ilmenau University Library, Stack

Holdings details from Universit├Ątsbibliothek Ilmenau, Magazin
Shelf Mark: 93:INF 7841
Availability: Available

Further Information:
Inhaltsverzeichnis
Inhaltsverzeichnis
Zentralblatt MATH
Cover
Feedback Delivery Service Acquisition Suggestion