Coverart for item
The Resource Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings, Jürgen Giesl (ed.), (electronic resource)

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings, Jürgen Giesl (ed.), (electronic resource)

Label
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Title
Term rewriting and applications
Title remainder
16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Statement of responsibility
Jürgen Giesl (ed.)
Title variation
RTA 2005
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Lecture notes in computer science,
Series volume
3467
Label
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings, Jürgen Giesl (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/b135673
Instantiates
Publication
Note
"This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA 2005), which was held on April 19-21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan."--Pref
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262680770
Dimensions
unknown
Extent
1 online resource (xiii, 515 p.)
Form of item
online
Isbn
9783540255963
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-540-25596-3
System control number
(OCoLC)262680770
Label
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings, Jürgen Giesl (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/b135673
Publication
Note
"This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA 2005), which was held on April 19-21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan."--Pref
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262680770
Dimensions
unknown
Extent
1 online resource (xiii, 515 p.)
Form of item
online
Isbn
9783540255963
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-540-25596-3
System control number
(OCoLC)262680770

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...