Yazar
Domenico Cantone
5 cilt bulundu.
Cilt sonuçları
Set theory for computing
Domenico Cantone, Eugenio Omodeo, Alberto Policriti · Springer
409 sayfa · 2001
Set theory / Computable functions / Mengenlehre / Deklarative Programmierung / Berechenbare Funktion
Computable set theory
Domenico Cantone, Alfredo Ferro, Eugenio Omodeo · Clarendon Press
360 sayfa · 1989
Computable functions / Set theory
Computational Logic and Set Theory
Jacob T. T. Schwartz, Martin Davis, Domenico Cantone, Eugenio G. Omodeo · Springer
436 sayfa · 2005
Kategori yok