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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540563938 - 1993. gada 29. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-a-mousson, France, July 8-10, 1992 - Proceedings - Lecture Notes in Computer Science

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 29. sept. - . gada 7. okt.
Saņemiet paziņojumus par jauniem Michael Rusinowitch izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Vairāk no tā paša izdevēja