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