Browsing by Subject Data structure
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2017 | Algorithms For Computing Prime Implicates Using Distributivity And Labelled Resolution In Modal Logic | Raut, Manoj Kumar; Agarwal, Rishabh |