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)
2025년
Model Checking and Artificial Intelligence Model Checking and Artificial Intelligence
2011년