Deontic Logic in Computer Science المزيد من كتب Ron van der Meyden & Leendert van der Torre

Simple Agreements for Future Equity (SAFE) Simple Agreements for Future Equity (SAFE)
٢٠٢٥
Model Checking and Artificial Intelligence Model Checking and Artificial Intelligence
٢٠١١