Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings / Robert Nieuwenhuis (ed.).
| Author/creator | International Conference on Rewriting Techniques and Applications |
| Other author | Nieuwenhuis, Robert. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©2003. |
| Description | xi, 514 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 2706 Lecture notes in computer science 2706. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 2003052969 |
| ISBN | 3540402543 (pbk. : acid-free paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA267 .I555 2003 | ✔ Available | Place Hold |