Eugenio G. Omodeo – författare
Visar alla böcker från författaren Eugenio G. Omodeo. Handla med fri frakt och snabb leverans.
9 produkter
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 …
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 …
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 …
