Načítání...
Amir Pnueli
Amir Pnueli
Náhled
Záznam konverzací
Historické zdroje
Amir Pnueli
AI dělá chyby
👋 Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Vlastní konfigurace
Přizpůsobte tohoto Humy svým potřebám vytvořením různých konfigurací s vlastními pokyny
Přizpůsobte si postavu Amir Pnueli
Zaregistrujte se zdarma a vytvářejte verze postavy Amir Pnueli pro své třídy: nastavte ročník, přidejte vlastní pokyny, vyberte modely AI a sdílejte je se svými studenty.