Xumin Nie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1990–1997
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ISMIS | Renaming a Set of Non-Horn Clauses. | Xumin Nie, Qing Guo |
| 1991 | ISMIS | How Well Are Non-Horn Clauses Handled? | Xumin Nie |
| 1990 | CADE | A Complete Semantic Back Chaining Proof System. | Xumin Nie, David A. Plaisted |