Title:
Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
Author:
Pfenning, Frank. editor.
ISBN:
9783540368359
Physical Description:
XIII, 415 p. Also available online. online resource.
Series:
Lecture Notes in Computer Science, 4098
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 4098
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/11805618Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 184447-2001 | ONLINE | Searching... | Searching... |