Yazar
James McKinna
2 cilt bulundu.
Cilt sonuçları
Types for proofs and programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack · Springer London, Limited
243 sayfa · 2002
Congresses / Computer programming / Automatic theorem proving / Computer science / Logic design