MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Zbigniew Stachniak – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Going Non-Clausal  
  • by Zbigniew Stachniak — 2002 — In 5th International Symposium on Theory and Applications of Satisfiability Testing
  • …Going Non-Clausal Zbigniew Stachniak Department of Computer Science York University, Canada e…
  • Cited by 3 (1 self) – Add To MetaCart
  • Non-clausal Reasoning with Propositional Definite Theories  
  • by Zbigniew Stachniak York — 1998 — In: International Conference on Artificial Intelligence and Symbolic Computation. Lecture
  • …Non-clausal Reasoning with Propositional Definite Theories Zbigniew Stachniak ⋆ York University…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB