Pages that link to "Item:Q582115"

The following pages link to Xumin Nie (Q582115):

Displaying 6 items.

• Refinements to depth-first iterative-deepening search in automatic theorem proving (Q582116) (← links)
• Extending STL with efficient data structures (Q1130172) (← links)
• A semantic backward chaining proof system (Q1193483) (← links)
• Non-Horn clause logic programming (Q1402738) (← links)
• Renaming a set of non-Horn clauses (Q1587332) (← links)
• (Q4366603) (← links)