久久丫线这里只精品

    • go to John McCarthy's profile page
    • go to Richard W. Hamming's profile page
    • go to William Kahan's profile page
    • go to Dana S Scott's profile page
    • go to Whitfield Diffie 's profile page
    • go to Yoshua Bengio's profile page
    • go to Andrew C Yao's profile page
    • go to Leonard M. Adleman's profile page
    • go to Barbara Liskov's profile page
    • go to Martin Hellman 's profile page
    • go to Yann LeCun's profile page
    • go to John Cocke 's profile page
    • go to Charles W Bachman's profile page
    • go to Leslie G Valiant's profile page
    • go to Jim Gray 's profile page
    • go to Pat Hanrahan's profile page
    • go to Kenneth Lane Thompson's profile page
    • go to Butler W Lampson's profile page
    • go to Richard E Stearns's profile page
    • go to Kenneth E. Iverson 's profile page
    • go to Shafi Goldwasser 's profile page
    • go to Herbert A. Simon's profile page
    • go to Richard Karp's profile page
    • go to Amir Pnueli'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
    久久丫线这里只精品