Jian Zhang

发表

Hantao Zhang, Jian Zhang, Hantao Zhang, 2004, AISC.

Hantao Zhang, Jian Zhang, Hantao Zhang, 2013, Automated Reasoning and Mathematics.

Jian Zhang, Xingming Wu, Lian Li, 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).

Hantao Zhang, Jian Zhang, Hantao Zhang, 1996, AAAI/IAAI, Vol. 1.

Yongji Wang, Enhua Wu, Hongan Wang, 2008, Frontiers of Computer Science in China.

Hantao Zhang, Jian Zhang, Hantao Zhang, 1996, CADE.

Hantao Zhang, Jian Zhang, Hantao Zhang, 1995, IJCAI.