Rewriting Techniques and Applications (e-bok)
Fler böcker inom
Format
E-bok
Filformat
PDF med Adobe-kryptering
Om Adobe-kryptering
PDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler.
Nedladdning
Kan laddas ned under 24 månader, dock max 3 gånger.
Språk
Engelska
Utgivningsdatum
2007-03-06
Förlag
Springer Berlin Heidelberg
ISBN
9783540448815

Du kanske gillar

Rewriting Techniques and Applications (e-bok)

Rewriting Techniques and Applications E-bok

14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

av Robert Nieuwenhuis
E-bok (PDF - DRM), Engelska, 2007-03-06
1392
Ladda ned
Spara som favorit
Ladda ned och läs i en e-boksläsare. Tips på appar
The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Robert Nieuwenhuis

  • Automated Deduction - CADE-20

    Automated Deduction - CADE-20

    Robert Nieuwenhuis

    This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22-27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri?cation(CFV'05), the Workshop on Empirically Success...

    1260
    Köp
    Skickas inom vardagar.
  • Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Robert Nieuwenhuis, Andrei Voronkov

    This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second I...

    1727
    Köp
    Skickas inom vardagar.