Jing-Zhong Zhang
According to our database1,
Jing-Zhong Zhang
authored at least 11 papers
between 1993 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
2
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
J. Comput. Sci. Technol., 2021
2000
J. Autom. Reason., 2000
1998
Proceedings of the Automated Deduction in Geometry, 1998
1996
J. Autom. Reason., 1996
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
Proceedings of the Automated Deduction in Geometry, 1996
1995
J. Autom. Reason., 1995
Ann. Math. Artif. Intell., 1995
1994
Machine proofs in geometry - automated production of readable proofs for geometry theorems.
Series on applied mathematics 6, World Scientific, ISBN: 978-981-02-1584-2, 1994
1993
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993
Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993