Erweiterte Suche

Grid  List

  1. Constraints in Computational Logics: Theory and Applications Constraints in Computational Logics: Theory and Applications

    Constraints in Computational Logics: Theory and Applications

    Hubert Comon
    Springer, Springer
    18.04.2001

    Constraints provide a declarative way of representing infinite sets of data. They are well suited...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Rewriting, Computation and Proof Rewriting, Computation and Proof

    Rewriting, Computation and Proof

    Hubert Comon-Lundh
    Springer, Springer
    22.06.2007

    Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, t...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Rewriting Techniques and Applications Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Hubert Comon
    Springer, Springer
    14.05.1997

    This book constitutes the refereed proceedings of the 8th International Conference on Rewriting T...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Gerard Berry
    Springer, Springer
    04.07.2001

    This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),h...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Term Rewriting Term Rewriting

    Term Rewriting

    Hubert Comon
    Springer, Springer
    25.04.1995

    This volume contains thoroughly revised versions of the contributions presented at the French Spr...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1