SpringerLink (Online service), Glück, R., & Kafle, B. (2023). Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (1st ed. 2023.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-45784-5
Cytowanie według stylu Chicago (wyd. 17)SpringerLink (Online service), Robert Glück, i Bishoksan Kafle. Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. 1st ed. 2023. Cham: Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-45784-5.
Cytowanie według stylu MLA (wyd. 9)SpringerLink (Online service), et al. Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. 1st ed. 2023. Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-45784-5.