K | |
---|---|
[KPV16] | Orna Kupferman, Giuseppe Perelli et Moshe Y. Vardi. Synthesis with rational environments. Annals of Mathematics and Artificial Intelligence 78(1):3-20. Kluwer Academic, septembre 2016. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1