Indlæser...
Amir Pnueli
Amir Pnueli
Forhåndsvisning
Samtalelogfil
Historiske kilder
Amir Pnueli
AI kan lave fejl
👋 Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Brugerdefinerede opsætninger
Tilpas denne Humy til dine behov ved at oprette forskellige opsætninger med brugerdefinerede instruktioner
Gør Amir Pnueli til din egen
Tilmeld dig gratis for at oprette versioner af Amir Pnueli til dine klasser: angiv klassetrin, tilføj dine egne instruktioner, vælg AI-modellerne og del dem med dine elever.