Shelfclass_id | 4.B.3 |
Sortkey | JOUANNAUD, JEAN-PIERRE |
Authors | Jean-Pierre Jouannaud |
Title | Rewriting Techniques and Applications |
Publisher | Academic |
Year | 1987 |
Languages | eng |
Isbn | 0123909600 |
Description | 216 s. ill. 25cm |
Record date | 20060713 |
Location | London |
Keywords | Problem solving, Algorithms |
Notes | 'Reprinted from the Journal of symbolic computation. - Vol. 3: no. 1 & 2 (1987).' |