Medina-Martinez, D., Barcenas, E., Aldeco-Perez, R., Molero-Castillo, G., & Velazquez-Mena, A. (2023). A satisfiability algorithm for multimodal logic with converse. 2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT), Software Engineering Research and Innovation (CONISOFT), 2023 11th International Conference in, CONISOFT, 246. https://doi.org/10.1109/CONISOFT58849.2023.00039
Παραπομπή σε μορφή Chicago (17η εκδ.)Medina-Martinez, Diego, Everardo Barcenas, Rocio Aldeco-Perez, Guillermo Molero-Castillo, και Alejandro Velazquez-Mena. "A Satisfiability Algorithm for Multimodal Logic with Converse." 2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT), Software Engineering Research and Innovation (CONISOFT), 2023 11th International Conference in, CONISOFT 2023: 246. https://doi.org/10.1109/CONISOFT58849.2023.00039.
Παραπομπή σε μορφή MLA (9th εκδ.)Medina-Martinez, Diego, et al. "A Satisfiability Algorithm for Multimodal Logic with Converse." 2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT), Software Engineering Research and Innovation (CONISOFT), 2023 11th International Conference in, CONISOFT, 2023, p. 246, https://doi.org/10.1109/CONISOFT58849.2023.00039.