Yazar
Mario Coppo
5 cilt bulundu.
Cilt sonuçları
Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani · Springer London, Limited
Sayfa sayısı yok · 2004
Automatic theorem proving / Computer programming
Theoretical Computer Science
Mario Coppo, Elena Lodi, G. Michele Pinna · Springer London, Limited
Sayfa sayısı yok · 2005
Computer science

