Grid   List

  1. Taschenbuch
    Print on Demand

    Logic and Computation is concerned with techniques for formal theorem-proving, with particular re...

    87,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    Print on Demand

    'The best education,' the admissions brochure declared, 'is the confrontation of two first-class ...

    31,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Taschenbuch
    Print on Demand

    This new edition of a successful text treats modules in more depth, and covers the revision of ML...

    100,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Taschenbuch
    Print on Demand

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...

    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Taschenbuch
    Print on Demand

    As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1