Deontic Logic in Computer Science Ron van der Meyden & Leendert van der Torre: другие книги

Simple Agreements for Future Equity (SAFE)

2025

Model Checking and Artificial Intelligence

2011