Deontic Logic in Computer Science Sách Khác Của Ron van der Meyden & Leendert van der Torre

Simple Agreements for Future Equity (SAFE) Simple Agreements for Future Equity (SAFE)
Simple Agreements for Future Equity (SAFE)
2025
Model Checking and Artificial Intelligence Model Checking and Artificial Intelligence
Model Checking and Artificial Intelligence
2011