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.
4 Ebooks tarafından Domenico Cantone
Domenico Cantone & Pietro Ursino: An Introduction to the Technique of Formative Processes in Set Theory
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 pro …
PDF
İngilizce
€53.49
Domenico Cantone & Eugenio G. Omodeo: Computational Logic and Set Theory
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 …
PDF
İngilizce
DRM
€57.76
Domenico Cantone & Eugenio Omodeo: Set Theory for Computing
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 …
PDF
İngilizce
DRM
€165.95
Domenico Cantone & Alfredo Pulvirenti: From Computational Logic to Computational Biology
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 …
EPUB
İngilizce
DRM
€64.06
