成av人电影在线观看欧美一级片

    <th id="eokln"></th>

    <code id="eokln"></code>

      • go to Marvin Minsky 's profile page
      • go to Jim Gray 's profile page
      • go to Allen Newell 's profile page
      • go to Dana S Scott's profile page
      • go to Manuel Blum's profile page
      • go to John Backus 's profile page
      • go to A. J. Perlis 's profile page
      • go to Herbert A. Simon's profile page
      • go to Amir Pnueli's profile page
      • go to C. Antony R. Hoare 's profile page
      • go to Martin Hellman 's profile page
      • go to John McCarthy's profile page
      • go to Donald E. Knuth's profile page
      • go to Leslie G Valiant's profile page
      • go to Juris Hartmanis's profile page
      • go to Leslie Lamport's profile page
      • go to Edgar F. Codd's profile page
      • go to Geoffrey E Hinton's profile page
      • go to Barbara Liskov's profile page
      • go to Robert E Tarjan's profile page
      • go to Edsger W. Dijkstra's profile page
      • go to John E Hopcroft's profile page
      • go to Yoshua Bengio's profile page
      • go to Edmund Clarke'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
      成av人电影在线观看欧美一级片
        <th id="eokln"></th>

        <code id="eokln"></code>