Grid  List

  1. 12.01.2026

    Proof assistants are computer programs that help users formally describe mathematical statements ...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 81,00 €

    Jetzt 80,24 €
    Vorbestellbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 04.07.2018

    This book constitutes the refereed proceedings of the 9th International Conference on Interactive...

    Taschenbuch
    96,29 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1