Domenico Cantone – författare
Visar alla böcker från författaren Domenico Cantone. Handla med fri frakt och snabb leverans.
11 produkter
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Av Domenico Cantone, Eugenio Omodeo m. fl.
Inbunden, 2001
1687 kr
Lägg i varukorg
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic …
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Av Jacob T. Schwartz, Domenico Cantone m. fl.
Inbunden, 2011
568 kr
Lägg i varukorg
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 …
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Av Eugenio G. Omodeo, Domenico Cantone m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
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 …
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Av Domenico Cantone, Eugenio Omodeo m. fl.
Häftad, 2011
1687 kr
Lägg i varukorg
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic …
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Av Jacob T. Schwartz, Domenico Cantone m. fl.
Häftad, 2014
567 kr
Lägg i varukorg
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 …
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Av Alberto Policriti, Eugenio Omodeo m. fl.
E-bok, 2013
2110 kr
Lägg i varukorg
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today''s variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic …
From Computational Logic to Computational Biology
Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Av Domenico Cantone, Alfredo Pulvirenti
Häftad, 2024
829 kr
Lägg i varukorg
Alfredo Ferro’s impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems. After first studying Mathematics at the University of Catania, he received a Ph.D. in Computer Science from NYU in 1981, working under …
From Computational Logic to Computational Biology
Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Av Alfredo Pulvirenti, Domenico Cantone
E-bok, 2024
897 kr
Lägg i varukorg
Alfredo Ferro’s impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems. After first studying Mathematics at the University of Catania, he received a Ph.D. in Computer Science from NYU in 1981, working under …
Introduction to the Technique of Formative Processes in Set Theory
Av Domenico Cantone, Pietro Ursino
Inbunden, 2018
551 kr
Lägg i varukorg
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 …
Introduction to the Technique of Formative Processes in Set Theory
Av Pietro Ursino, Domenico Cantone
E-bok, 2018
734 kr
Lägg i varukorg
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 …
Introduction to the Technique of Formative Processes in Set Theory
Av Domenico Cantone, Pietro Ursino
Häftad, 2019
551 kr
Lägg i varukorg
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 …
