LIBROS DEL AUTOR: lawrence c paulson

4 resultados para LIBROS DEL AUTOR: lawrence c paulson

lawrence c paulson Eliminar filtro Quitar filtros
  • Isabelle/HOL
    Lawrence C. Paulson / Markus Wenzel / Tobias Nipkow
    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 direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is writte...
    Disponible

    72,68 €

  • ML for the Working Programmer
    Larry C. Paulson / Larry CPaulson / Lawrence C. Paulson / Lawrence CPaulson
    ...
    Disponible

    112,04 €

  • Isabelle
    Lawrence C. Paulson
    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 combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle d...
    Disponible

    65,99 €

  • Logic and Computation
    Lawrence C. Paulson / Lawrence CPaulson
    ...
    Disponible

    88,44 €