Shmuel Safra
ウィキペディアから
Found in articles
ゲーデル賞
1006/inco.1994.1092 ^ Feige, Uriel; Goldwasser, Shafi; Lovász, Laszlo; Safra, Shmuel; Szegedy, Mario (1996), “Interactive proofs and the hardness of approximating
対話型証明系
Computational Complexity, volume 1, p.3-40. 1991. ^ Sanjeev Arora and Shmuel Safra. Probabilistic Checking of Proofs: A New Characterization of NP. Journal
シャフィ・ゴールドワッサー / w:Carsten Lund / ラースロー・ロヴァース / w:Rajeev Motwani / w:Shmuel Safra / w:Madhu Sudan / w:Mario Szegedy (2001） · w:Géraud Sénizergues (2002） ·
シャフィ・ゴールドワッサー / w:Carsten Lund / ラースロー・ロヴァース / w:Rajeev Motwani / w:Shmuel Safra / w:Madhu Sudan / w:Mario Szegedy (2001） · w:Géraud Sénizergues (2002） ·
シャフィ・ゴールドワッサー / w:Carsten Lund / ラースロー・ロヴァース / w:Rajeev Motwani / w:Shmuel Safra / w:Madhu Sudan / w:Mario Szegedy (2001） · w:Géraud Sénizergues (2002） ·