Carregant...
Amir Pnueli
Amir Pnueli
Vista prèvia
Registre de converses
Fonts Històriques
Amir Pnueli
La IA comet errors
👋 Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Configuracions personalitzades
Adapteu aquest Humy a les vostres necessitats creant diferents configuracions amb instruccions personalitzades
Personalitza Amir Pnueli
Registra't gratis per crear versions de Amir Pnueli per a les teves classes: tria el nivell educatiu, afegeix les teves pròpies instruccions, escull els models d'IA i comparteix-les amb els teus estudiants.