Publication
Research
Advancing the mathematical foundations that drive breakthroughs across computing, AI, and the sciences.
Showing 1211 – 1220 of 1214 results
Communications of the ACM 17 | February 1974, Vol 2: pp. 83-93
American Mathematical Society | July 1973, Vol 174(4): pp. 776
Leslie Lamport, Jackson Wright, Neal Plotkin, Robert Teitel, Martin Wenglinsky
November 1957