Yazar
Stefano Berardi
3 cilt bulundu.
Cilt sonuçları
A sequent calculus for limit computable mathematics (technical report)
Stefano Berardi · Sangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā.
26 sayfa · 2006
Kategori yok
assioma Del Vuoto : (Cosmo-Agonia/Noi Due)
Stefano Donno, Pasquale Vitagliano, Gianpiero Berardi · Independently Published
Sayfa sayısı yok · 2020
Kategori yok
Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani · Springer London, Limited
Sayfa sayısı yok · 2004
Automatic theorem proving / Computer programming