Amir Pnueli: verschil tussen versies

Naar navigatie springen Naar zoeken springen
52 bytes toegevoegd ,  14 jaar geleden
k
+cat
k (robot Erbij: he:אמיר פנואלי)
k (+cat)
[[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]]
35.614

bewerkingen

Navigatiemenu