LIBROS DEL AUTOR: domenico cantone

3 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 €

  • 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 €