Der Perlentaucher unter den Buchläden

Genauer suchen ( Treffer)
Filter schließen ( Treffer)

Sie haben nach Cantone, Domenico gesucht

Domenico Cantone is a professor at the Università di Catania. He has been a visiting professor at New York University, Stanford University, ICSI (Berkeley), and Karlsruhe. His interests include mathematical and computer science logic, in particular set theory. Pietro Ursino is a lecturer at the Università dell'Insubria, his interests include mathematical logic.

  1. An Introduction to the Technique of Formative Processes in Set Theory
    eng
    Pietro Ursino / Domenico Cantone
    An Introduction to the Technique of Formative Processes in Set Theory
    • Springer International Publishing
    • 2019
    • Taschenbuch
    • 168 Seiten
    53,49€

    in Kürze

    This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors…
  2. An Introduction to the Technique of Formative Processes in Set Theory
    eng
    Pietro Ursino / Domenico Cantone
    An Introduction to the Technique of Formative Processes in Set Theory
    • Springer International Publishing
    • 2018
    • Gebunden
    • 168 Seiten
    53,49€

    in Kürze

    This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors…
  3. Computational Logic and Set Theory
    eng
    Jacob T. Schwartz / Domenico Cantone …
    Computational Logic and Set Theory
    Applying Formalized Logic to Analysis
    • Springer London
    • 2014
    • Taschenbuch
    • 436 Seiten
    53,49€

    in Kürze

  4. Set Theory for Computing
    eng
    Domenico Cantone / Alberto Policriti …
    Set Theory for Computing
    From Decision Procedures to Declarative Programming with Sets
    • Springer New York
    • 2011
    • Taschenbuch
    • 428 Seiten
    160,49€

    in Kürze

    An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates …
  5. Computational Logic and Set Theory
    eng
    Jacob T. Schwartz / Domenico Cantone …
    Computational Logic and Set Theory
    Applying Formalized Logic to Analysis
    • Springer London
    • 2011
    • Gebunden
    • 436 Seiten
    53,49€

    in Kürze

    This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its applica…
  6. Set Theory for Computing
    eng
    Domenico Cantone / Eugenio Omodeo …
    Set Theory for Computing
    From Decision Procedures to Declarative Programming with Sets
    • Springer Us
    • 2001
    • Gebunden
    • 409 Seiten
    176,50€

    Etwa 20 Tage

    An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates …