Showing results 1 to 1 of 1
| Title | Author(s) | Issue Date | |
|---|---|---|---|
A heuristic skipping rules algorithm on tableau algorithm Proceeding/Conference:Proceedings - 2012 International Conference on Computer Science and Electronics Engineering, ICCSEE 2012 | 2012 |