Your search returned the following 5 documents:

5. First-Order Polynomial based Theorem Proving
   Jinzhao Wu
   In: Mathematics Mechanizations and Applications, 2000, 273-294
   
4. On Theorem proving in Annotated Logics
   Mi Lu and Jinzhao Wu
   Journal of Applied Non-Classical Logics 10 (2): 121-143, 2000
   
3. An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
   Jinzhao Wu, Hongyan Tan, and Yongli Li
   Journal of Applied Non-Classical Logics 8 (4): 353-360, 1998
   
2. CWA in Multi-Valued Logics
   Jinzhao Wu and Mi Lu
   In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), Lanzhou, China, August, 6 - August 8, 1998, 259-270
   
1. Well-Behaved Inference Rules for First-Order Theorem Proving
   Jinzhao Wu and Zhuojun Liu
   Journal of Automated Reasoning 21 (3): 381-400, 1998