Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/zhang-h

H. Zhang (zhang-h)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Zhang, H. and Stickel, Mark E. 1994. Implementing the Davis-Putnam Algorithm by Tries.” Iowa City, Iowa: Department of Computer Science, University of Iowa.