Conference
A satisfiability algorithm for multimodal logic with converse
| Τίτλος: | 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 |
καταχωρήστε σχόλιο πρώτοι!