Pastāsti draugiem par šo preci:
Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997 - Proceedings - Lecture Notes in Computer Science Hubert Comon
Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997 - Proceedings - Lecture Notes in Computer Science
Hubert Comon
Constitutes 24 revised papers presented at a conference on rewriting techniques and applications, along with two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented.
360 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1997. gada 14. maijs |
| ISBN13 | 9783540629504 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 360 |
| Izmēri | 156 × 234 × 18 mm · 503 g |
| Valoda | Vācu |
| Redaktors | Comon, Hubert |