Logics and Model Checking for Graph Equivalences in Computational Biology
cun id:
1263
LOGICA MATEMATICA E FONDAMENTI
BeGood: Designing Behavioral Rules for Good Outcomes in Multi-Agent Systems
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma