語系
Cantone, Domenico.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Set theory for computing :from decision procedures to declarative programming with sets /
by:
Cantone, Domenico.; Omodeo, Eugenio.; Policriti, Alberto.
(書目-語言資料,印刷品)
An introduction to the technique of formative processes in set theory
by:
Cantone, Domenico.; SpringerLink (Online service); Ursino, Pietro.
(書目-電子資源)
Computational logic and set theoryapplying formalized logic to analysis /
by:
Cantone, Domenico.; Omodeo, Eugenio G.; Schwartz, Jacob T.; SpringerLink (Online service)
(書目-電子資源)