Búsqueda de LIBROS DEL AUTOR: robert s boyer

2 resultados

robert s boyer Eliminar filtro Quitar filtros
  • A COMPUTATIONAL LOGIC
    ebook
    A COMPUTATIONAL LOGIC
    ROBERT S. BOYER / J STROTHER MOORE
    ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization. The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the theory, and correctness of a tautology-checker. Topics include mechanical proofs, ...

    $970.00

    Ver detalle
  • A COMPUTATIONAL LOGIC HANDBOOK
    ebook
    A COMPUTATIONAL LOGIC HANDBOOK
    ROBERT S. BOYER / J STROTHER MOORE
    Perspectives in Computing: A Computational Logic Handbook contains a precise description of the logic and a detailed reference guide to the associated mechanical theorem proving system, including a primer for the logic as a functional programming language, an introduction to proofs in the logic, and a primer for the mechanical theorem. The publication first offers information ...

    $970.00

    Ver detalle