Coverart for item
The Resource Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings, Frank Pfenning (ed.), (electronic resource)

Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings, Frank Pfenning (ed.), (electronic resource)

Label
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
Title
Term rewriting and applications
Title remainder
17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
Statement of responsibility
Frank Pfenning (ed.)
Title variation
RTA 2006
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
4098
Label
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings, Frank Pfenning (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/11805618
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262693830
Dimensions
unknown
Extent
1 online resource (xiii, 414 p.)
Form of item
online
Isbn
9783540368342
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-540-36834-2
System control number
(OCoLC)262693830
Label
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings, Frank Pfenning (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/11805618
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262693830
Dimensions
unknown
Extent
1 online resource (xiii, 414 p.)
Form of item
online
Isbn
9783540368342
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-540-36834-2
System control number
(OCoLC)262693830

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 ...