Statistics
Publications
1
Citations
196
H-Index
1
Active since
1997
H. Zhang is an author specializing in computer science, logic, and proof assistants.
Publications per year
1997–1997
1
1
An Efficient Propositional Prover
H. Zhang · Medical Entomology and Zoology · 1997 · 196 citations
1–1 of 1