Pastāsti draugiem par šo preci:
Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-a-mousson, France, July 8-10, 1992 - Proceedings - Lecture Notes in Computer Science Michael Rusinowitch
Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-a-mousson, France, July 8-10, 1992 - Proceedings - Lecture Notes in Computer Science
Michael Rusinowitch
This volume contains the papers presented at the third International Workshop on Conditional Term Rewriting Systems. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction and constrained rewriting.
507 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1993. gada 29. janvāris |
| ISBN13 | 9783540563938 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 507 |
| Izmēri | 155 × 233 × 26 mm · 725 g |
| Valoda | Vācu |
| Redaktors | Remy, Jean-luc |
| Redaktors | Rusinowitch, Michael |