久久丫线这里只精品

    • go to Raj Reddy's profile page
    • go to Edgar F. Codd's profile page
    • go to Yann LeCun's profile page
    • go to Ronald L Rivest's profile page
    • go to Herbert A. Simon's profile page
    • go to Michael O. Rabin 's profile page
    • go to Amir Pnueli's profile page
    • go to John McCarthy's profile page
    • go to Vinton Cerf's profile page
    • go to A. J. Perlis 's profile page
    • go to John Cocke 's profile page
    • go to Ole-Johan Dahl 's profile page
    • go to Yoshua Bengio's profile page
    • go to Geoffrey E Hinton's profile page
    • go to Edward A Feigenbaum's profile page
    • go to Allen Newell 's profile page
    • go to Adi Shamir's profile page
    • go to C. Antony R. Hoare 's profile page
    • go to Juris Hartmanis's profile page
    • go to Sir Tim Berners-Lee's profile page
    • go to A J Milner 's profile page
    • go to E. Allen Emerson's profile page
    • go to Pat Hanrahan's profile page
    • go to Kenneth E. Iverson 's profile page
    A.M. TURING AWARD WINNERS BY...

    Amir Pnueli DL Author Profile link

    United States – 1996
    Research Subjects

    Program Verification

    Bibliometrics: publication history
    Publication years1969-2012
    Publication count236
    Citation Count5,211
    Available for download36
    Downloads (6 Weeks)133
    Downloads (12 Months)1,067
    久久丫线这里只精品