Fang, L., Wang, X., Chen, Z., Luo, K., Cui, Z., & Guan, Q. (2024). A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus.
Chicago-Zitierstil (17. Ausg.)Fang, Liangda, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, und Quanlong Guan. A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus. 2024.
MLA-Zitierstil (9. Ausg.)Fang, Liangda, et al. A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.