Erweiterte Suche

Grid  List

  1. First-Class Times First-Class Times

    First-Class Times

    Lawrence Paulson
    Booklocker.com, Inc.
    15.09.2014

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

    Taschenbuch
    24,80 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logic and Computation Logic and Computation

    Logic and Computation

    Lawrence C. Paulson
    Cambridge University Press
    09.06.2003

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

    Taschenbuch
    68,60 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. ML for the Working Programmer ML for the Working Programmer

    ML for the Working Programmer

    Lawrence C. Paulson
    Cambridge University Press
    30.11.2009

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

    Taschenbuch
    79,50 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Isabelle Isabelle

    Isabelle

    Lawrence C. Paulson
    Springer Berlin Heidelberg
    28.07.1994

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Isabelle/HOL Isabelle/HOL

    Isabelle/HOL

    Tobias Nipkow
    Springer Berlin Heidelberg
    03.04.2002

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

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Interactive Theorem Proving Interactive Theorem Proving

    Interactive Theorem Proving

    Matt Kaufmann
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the papers presented at ITP 2010: the First International ConferenceonIntera...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 112,34 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1