Model Checking and Artificial Intelligence المزيد من كتب Ron van der Meyden & Jan-Georg Smaus

Simple Agreements for Future Equity (SAFE)

٢٠٢٥

Deontic Logic in Computer Science

٢٠٠٨