LIBROS DEL AUTOR: domenico cantone

6 resultados para LIBROS DEL AUTOR: domenico cantone

domenico cantone Eliminar filtro Quitar filtros
  • An Introduction to the Technique of Formative Processes in Set Theory
    Domenico Cantone / Pietro Ursino
    This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision prob...
    Disponible

    66,88 €

  • An Introduction to the Technique of Formative Processes in Set Theory
    Domenico Cantone / Pietro Ursino
    This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision prob...
    Disponible

    65,52 €

  • Computational Logic and Set Theory
    Domenico Cantone / Eugenio G. Omodeo / Jacob T. Schwartz
    This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describ...
    Disponible

    65,59 €

  • Set Theory for Computing
    Domenico Cantone / Eugenio Omodeo
    An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning. ...
    Disponible

    207,05 €

  • Computational Logic and Set Theory
    Domenico Cantone / Eugenio G. Omodeo / Jacob T. Schwartz
    IntroductionPropositional and Predicate-Calculus PreliminariesA Survey of Inference MechanismsMore on the Structure of the Verifier SystemA Closer Examination of the Sequence of Definitions and Theorems Presented in this BookUndecidability and Unsolvability ...
    Disponible

    107,23 €

  • Set Theory for Computing
    Alberto Policriti / Domenico Cantone / Eugenio Omodeo
    An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning. ...
    Disponible

    205,66 €