Browsing by Subject Tison's method
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2016 | Knowledge compilation in multimodal logic | Raut, Manoj Kumar; Kokane, Tushar V. |
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2016 | Knowledge compilation in multimodal logic | Raut, Manoj Kumar; Kokane, Tushar V. |