Pubblicazioni

Synthesis with rational environments

2016 - ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Kupferman, O.; Perelli, G.; Vardi, M. Y.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma