Yazar
Conor McBride
3 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
University entrance scholars
Conor P. McBride · National Research Advisory Council
Sayfa sayısı yok · 1967
Entrance requirements / Scholarships / Universities and colleges
List of Successes That Can Change the World
Sam Lindley, Conor McBride, Phil Trinder, Don Sannella · Springer International Publishing AG
Sayfa sayısı yok · 2016
Computer science