Grid  List

  1. 01.09.1999

    This book contains the proceedings of the 12th International Conference on TheoremProvinginHigher...

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

    Coq is an interactive proof assistant for the development of mathematical theories and formally c...

    Taschenbuch
    90,94 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 14.05.2004

    Coq is an interactive proof assistant for the development of mathematical theories and formally c...

    Gebunden
    128,39 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1