Yazar
Alfredo Ferro
5 cilt bulundu.
Cilt sonuçları
Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present
Alfredo Ferro · Courant Institute of Mathematical Sciences, New York University
19 sayfa · 1986
Kategori yok
Fun with Algorithms
Alfredo Ferro, Fabrizio Luccio, Peter Widmayer · Springer
390 sayfa · 2014
Computer algorithms / Data structures (computer science) / Artificial intelligence / Artificial Intelligence (incl. Robotics) / Computer science
Computable set theory
Domenico Cantone, Alfredo Ferro, Eugenio Omodeo · Clarendon Press
360 sayfa · 1989
Computable functions / Set theory