 |
|
 |
|
| 人物別名 | Eugenio Omodeo |
|---|---|
| 生年 | - |
| 没年 | - |
| タイトル | 著作者等 | 出版元 | 刊行年月 |
|---|---|---|---|
| Martin Davis on computability, computational logic, and mathematical foundations | Eugenio G. Omodeo, Alberto Policriti editors |
Springer |
c2016 |
| 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- |
