Grid   List

  1. Towards Mechanized Mathematical Assistants

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
  2. Symbolic Computation and Automated Reasoning

    Ebook
    Sofort lieferbar

    While mathematical software packages are commer...

    68,49 €
    Alle Preise inkl. MwSt
  3. Twist in der Nacht

    Ebook
    Sofort lieferbar

    Hier erhältlich ist die Notenausgabe des Titels...

    2,99 €
    Alle Preise inkl. MwSt
  4. Intelligent Computer Mathematics

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
  5. Computational Logic - CL 2000

    Ebook
    Sofort lieferbar

    These are the proceedings of the First Internat...

    53,49 €
    Alle Preise inkl. MwSt
  6. Towards Mechanized Mathematical Assistants

    Taschenbuch
    Print on Demand

    This volume contains the collected contribution...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  7. Computational Logic ¿ CL 2000

    Taschenbuch
    Print on Demand

    These are the proceedings of the First Internat...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Intelligent Computer Mathematics

    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  9. Intelligent Computer Mathematics

    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    70,61 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  1. 1
Google Plus
Powered by Inooga