Omodeo, Eugenio

この人物の情報

人物別名 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-
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想