Prix Turing : Michael Rabin ( Israël) et Dana S. Scott ( États-Unis) Machines non déterministes
Prix Prix Turing : Michael Rabin ( Israël) et Dana S. Scott ( États-Unis)<span class="Apple-tab-span" style="white-space:pre;"> </span>Machines non déterministes
