4 द्वारा ईबुक Alberto Policriti
Eugenio G. Omodeo & Alberto Policriti: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The indivi …
PDF
अंग्रेज़ी
€96.29
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
अंग्रेज़ी
DRM
€161.59
Annalisa Barla & Massimo Bartoletti: Computational Intelligence Methods for Bioinformatics and Biostatistics
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, …
EPUB
अंग्रेज़ी
DRM
€56.04
Eugenio G. Omodeo & Alberto Policriti: On Sets and Graphs
This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used …
EPUB
अंग्रेज़ी
DRM
€57.73
