Amir Pnueli AI: Trò chuyện với Amir Pnueli

Đang tải...

Đang tải phiên bản...

Amir Pnueli

AI có thể mắc lỗi

Tác giả hình ảnh: David Monniaux CC BY-SA 1.0 Wikimedia Commons

👋 Amir Pnueli

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

Tìm trong tư liệu lịch sử và trích dẫn chúng trước mỗi câu trả lời. Chậm hơn, tốn nhiều tín dụng hơn.

Được hỗ trợ bởi Humy

Thiết lập tùy chỉnh

Tùy chỉnh Humy theo nhu cầu của bạn bằng cách tạo các thiết lập khác nhau với hướng dẫn tùy chỉnh

Biến Amir Pnueli thành của riêng bạn

Đăng ký miễn phí để tạo các phiên bản Amir Pnueli cho lớp học của bạn: đặt cấp lớp, thêm hướng dẫn của riêng bạn, chọn mô hình AI và chia sẻ với học sinh.