久久丫线这里只精品

    • go to Edmund Clarke's profile page
    • go to Richard E Stearns's profile page
    • go to C. Antony R. Hoare 's profile page
    • go to Kristen Nygaard 's profile page
    • go to Barbara Liskov's profile page
    • go to John Cocke 's profile page
    • go to Frances Allen's profile page
    • go to Michael Stonebraker's profile page
    • go to Fernando Corbato's profile page
    • go to Charles P. Thacker's profile page
    • go to Leslie G Valiant's profile page
    • go to Michael O. Rabin 's profile page
    • go to John L Hennessy's profile page
    • go to Edgar F. Codd's profile page
    • go to Juris Hartmanis's profile page
    • go to Kenneth E. Iverson 's profile page
    • go to Allen Newell 's profile page
    • go to David Patterson's profile page
    • go to E. Allen Emerson's profile page
    • go to Vinton Cerf's profile page
    • go to Judea Pearl's profile page
    • go to Kenneth Lane Thompson's profile page
    • go to Frederick Brooks's profile page
    • go to Amir Pnueli's profile page
    A.M. TURING AWARD WINNERS BY...

    Arthur John Robin Gorell ("Robin") Milner DL Author Profile link

    United Kingdom – 1991
    Research Subjects

    Programming Languages
    Proof Construction
    Theory

    Bibliometrics: publication history
    Publication years1971-2009
    Publication count94
    Citation Count6,807
    Available for download13
    Downloads (6 Weeks)164
    Downloads (12 Months)957
    久久丫线这里只精品