Alberto Policriti – författare
Visar alla böcker från författaren Alberto Policriti. 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 …
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 …
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 …
Computational Intelligence Methods for Bioinformatics and Biostatistics
14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
Av Massimo Bartoletti, Annalisa Barla m. fl.
Häftad, 2019
551 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, held in Cagliari, Italy, in September 2017.The 19 revised full papers presented were carefully reviewed …
Computational Intelligence Methods for Bioinformatics and Biostatistics
14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
Av Roberto Tagliaferri, Alberto Policriti m. fl.
E-bok, 2019
710 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, held in Cagliari, Italy, in September 2017. The 19 revised full papers presented were carefully …
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Av Eugenio G. Omodeo, Alberto Policriti
Inbunden, 2017
1529 kr
Lägg i varukorg
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 individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary …
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Av Alberto Policriti, Eugenio G. Omodeo
E-bok, 2017
1459 kr
Lägg i varukorg
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 individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary …
On Sets and Graphs
Perspectives on Logic and Combinatorics
Av Eugenio G. Omodeo, Alberto Policriti m. fl.
Inbunden, 2017
627 kr
Lägg i varukorg
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 to better solve problems originated in the other. Features: explores the interrelationships between …
On Sets and Graphs
Perspectives on Logic and Combinatorics
Av Alexandru I. Tomescu, Alberto Policriti m. fl.
E-bok, 2017
750 kr
Lägg i varukorg
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 to better solve problems originated in the other. Features: explores the interrelationships between …
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Av Eugenio G. Omodeo, Alberto Policriti
Häftad, 2018
1094 kr
Lägg i varukorg
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 individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary …
On Sets and Graphs
Perspectives on Logic and Combinatorics
Av Eugenio G. Omodeo, Alberto Policriti m. fl.
Häftad, 2018
627 kr
Lägg i varukorg
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 to better solve problems originated in the other. Features: explores the interrelationships between …
