Versie van 13 mei 2006 21:19 (bewerken) YurikBot (overleg \| bijdragen) k (robot Erbij: he:אמיר פנואלי) ← Oudere bewerking		Versie van 31 mei 2006 19:28 (bewerken) (ongedaan maken) Simeon (overleg \| bijdragen) k (+cat) Nieuwere bewerking →
[[Categorie:Wiskundige\|Pnueli, Amir]] [[Categorie:Informaticus\|Pnueli, Amir]] [[Categorie:Israëlisch informaticus\|Pnueli, Amir]] [[Categorie:Winnaar Turing Award\|Pnueli, Amir]] [[Categorie:Israëlisch wetenschapper\|Pnueli, Amir]]

Amir Pnueli: verschil tussen versies

Amir Pnueli (bewerken)