lawrence c paulson

Grid   List

  1. Interactive Theorem Proving
    Interactive Theorem Proving
    Matt Kaufmann
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Interactive Theorem Proving
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Isabelle/HOL
    Isabelle/HOL
    Tobias Nipkow
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a d...
    58,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. ML for the Working Programmer
    ML for the Working Programmer
    Lawrence C. Paulson
    Cambridge University Press
    Taschenbuch
    Bezug 11-15
    This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
    112,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Isabelle/HOL
    Isabelle/HOL
    Tobias Nipkow
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a d...
    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Logic and Computation
    Logic and Computation
    Lawrence C. Paulson
    Cambridge University Press
    Taschenbuch
    Bezug 11-15
    Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for r...
    85,03 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Isabelle
    Isabelle
    Lawrence C. Paulson
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to c...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. First-Class Times
    First-Class Times
    Lawrence Paulson
    Booklocker.com, Inc.
    Taschenbuch
    Bezug 11-15
    'The best education,' the admissions brochure declared, 'is the confrontation of two first-class minds.' Attracted by that vision-and the prospect of a college education in the Florida sun with no ...
    31,68 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>