Works by Xumin Nie

( view other items matching `Xumin Nie`, view all matches )
Order:
  1.  3
    A semantic backward chaining proof system.Xumin Nie & David A. Plaisted - 1992 - Artificial Intelligence 55 (1):109-128.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  5
    Non-Horn clause logic programming.Xumin Nie - 1997 - Artificial Intelligence 92 (1-2):243-258.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  4
    Refinements to depth-first iterative-deepening search in automatic theorem proving.Xumin Nie & David A. Plaisted - 1989 - Artificial Intelligence 41 (2):223-235.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark