Yazar
Thorsten Altenkirch
2 cilt bulundu.
Cilt sonuçları
Types for Proofs and Programs
Thorsten Altenkirch, Conor McBride · Springer London, Limited
Sayfa sayısı yok · 2003
Automatic theorem proving / Computer programming / Logic, symbolic and mathematical