Languages
Cantone, Domenico.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Set theory for computing :from decision procedures to declarative programming with sets /
by:
Cantone, Domenico.; Omodeo, Eugenio.; Policriti, Alberto.
(Language materials, printed)
An introduction to the technique of formative processes in set theory
by:
Cantone, Domenico.; SpringerLink (Online service); Ursino, Pietro.
(Electronic resources)
Computational logic and set theoryapplying formalized logic to analysis /
by:
Cantone, Domenico.; Omodeo, Eugenio G.; Schwartz, Jacob T.; SpringerLink (Online service)
(Electronic resources)