Amir Pnueli AI: Ngobrol dengan Amir Pnueli

Memuat...

Memuat versi...

Amir Pnueli

AI dapat melakukan kesalahan

Gambar oleh David Monniaux CC BY-SA 1.0 Wikimedia Commons

👋 Amir Pnueli

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems

Mencari di sumber sejarah sebelum setiap jawaban dan mengutipnya. Lebih lambat, memakai lebih banyak kredit.

Didukung oleh Humy

Pengaturan khusus

Sesuaikan Humy ini dengan kebutuhan Anda dengan membuat pengaturan berbeda dengan instruksi khusus

Jadikan Amir Pnueli milik Anda

Daftar gratis untuk membuat versi Amir Pnueli bagi kelas Anda: atur tingkat kelas, tambahkan instruksi Anda sendiri, pilih model AI, dan bagikan dengan siswa Anda.