 |
|
 |
|
| 人物別名 |
Domenico Cantone |
|---|---|
| 生年 | - |
| 没年 | - |
| タイトル | 著作者等 | 出版元 | 刊行年月 |
|---|---|---|---|
| An introduction to the technique of formative processes in set theory | Domenico Cantone, Pietro Ursino |
Springer |
c2018 |
| Computational logic and set theory : applying formalized logic to analysis | Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo |
Springer London Ltd |
c2011 |
| Set theory for computing : from decision procedures to declarative programming with sets | Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz |
Springer-Verlag |
c2001 |
| Computable set theory | Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo |
Clarendon Press Oxford University Press |
1989- |
