Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
A satisfiability algorithm for multimodal logic with converse |
| Συγγραφείς: |
Medina-Martinez, Diego, Barcenas, Everardo, Aldeco-Perez, Rocio, Molero-Castillo, Guillermo, Velazquez-Mena, Alejandro |
| Πηγή: |
2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT) CONISOFT Software Engineering Research and Innovation (CONISOFT), 2023 11th International Conference in. :246-255 Nov, 2023 |
| Relation: |
2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT) |
| Βάση Δεδομένων: |
IEEE Xplore Digital Library |