![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 11 | Xumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. J. Comput. Sci. Technol. 15(5): 409-415 (2000) | |
| 10 | Xumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. ISMIS 1997: 600-608 |
Selection of 2 from 11 records - Xumin Nie has 5 coauthors
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)